Update readme
Add a vagrant+puppet config for domjudge
Add phpmyadmin to vagrant/puppet setup
From upstream, but already useful: Fix generated SQL examples file.
Use c++11 by default