Improve portal configuration, add optional proxy to Vagrantfile