Devhelp maintainer needed

[Richard Hult <richard imendio com>]

Hi all,

I've decided to let go of Devhelp so if someone wants to pick it up, 
feel free to do so. It should be fairly quick and easy, it's a small and 
simple code base.

The current status is that trunk is in good shape code-wise (much better 
than the old 2.22 branch used for the upcoming GNOME version), so as 
soon as WebKit becomes an allowed dependency, I recommend switching over 
to trunk.

Good luck,
Richard