Updated Vagrant config.
Removed unnecessary requirements.
Updated documentation.
Merge branch 'vagrant'
Some more documentation improvements.
Updated line endings in make.bat file.
Fixed Vagrant setup.
Merge branch 'master' into docs