Vagrant fixes

Try and make vagrant even easier by moving it off port 80/443 to port 8000/4443
nginx still listens on port 80 on the host, but we fwd port 8000 there
nginx, due to the redirect stuff, it was easier to make it actually listen on 4443 vs trying to redirect to 443.