Added missing server.properties for vagrant