config: safer parsing of configuration variables in Vagrantfile.
config: adding possibility to start server with GUI console.