Patch - Images for manual

[Dirk Hohndel]

On Wed, 2014-02-05 at 12:05 +0200, Willem Ferguson wrote:
> Replace images of manual so that all images come from Gnome 3.
> Images involving the dive profile will be done after finalisation of the 
> new profile panel.

I'm not sure I'm happy that we remove the explicit references to some of
the divelogs we can import from, but I took the change as is - after
all, you are the maintainer of the manual at this point :-)

/D