Bugfix release 0.5.1

This release fixes a bug with the documentation which prevented the compilation from finishing when using the latest version of gnome-doc-utils.