Various small fixes.

* increase memory of the vagrant box
* install postgresql instead of mysql
* fix typo in index.html