Add vagrant box to dev on GTR

Fix #1 
ping @KuiKui
we should keep `9000` for both