Major changes in 43.alpha:
- Update thumbnailing code for gnome-desktop API changes
- Fix crashes and warnings when some plugins are missing
- Use GResources to load UI files, simplify plugin declarations,
  and remove a lot of unused code
- Update man page