docs...vagrant: Fixed formatting.
docs.vagrant: Document what to do if a database dump creates a database.
docs: New readthedocs theme.
docs: Migration guide for 1.4.0.