improve the Vagrant VMs: bump RAM to 512 MB & correct forwarded ports

This PR bumps the VM RAM to 512 MB and corrects forwarded ports when they're already used.

The bump to 512 MB of RAM is conservative. We could bump it higher to 640 MB or to 768 MB.


Thanks to @wouterd for the auto-correct of forwarded ports he proposed in #3042.