Restructure VM bootstrapping

Merge all checker modules into a single manifest, and add a separate
manifest for all PPAs and repos.
Spell ESLint out in docstring
Add missing :package-version keywords
Fix HTML build for Sphinx 1.2.1
Install all documentation packages on the VM
Build docs on VM in pre-push hook
Fix info dependencies in Makefile

We must take care to always run Sphinx, to produce an up to date .texi
file.
Fix Rubocop test cases for Rubocop 0.18.1