Issue #67: Rework Vagrantfile to use overrideable and external config file