Changes to project file, fix vagrant file port forwarding, installing recent mono on Linux