Update vagrant file to open 4243 to listen on docker port.