Port to gnome-online-miners

Adjust the D-Bus names and interfaces, and nuke the miner code.

https://bugzilla.gnome.org/show_bug.cgi?id=703852
release: prepare for 3.9.4
Updated Spanish translation
Merge branch 'master' of git://git.gnome.org/gnome-documents into develop