update vagrant docs

Vagrantfile

@@ -65,7 +65,7 @@ Vagrant.configure("2") do |config|
          SKIP_BUBBLE_BUILD=1 ./bin/first_time_setup.sh
 
          # Build the bubble jar
-         BUBBLE_PRODUCTION=1 mvn -DskipTests=true -Dcheckstyle.skip=true -Pproduction clean package 2>&1 | tee /tmp/build.log
+         ./bin/bbuild 2>&1 | tee /tmp/build.log
 
          # Write bubble API port
          echo \"export BUBBLE_SERVER_PORT=${BUBBLE_PORT}\" > ~/.bubble.env

docs/dev_vagrant.md

@@ -72,9 +72,21 @@ When your Vagrant box is ready, you can login to it:
 vagrant ssh
 ```
 
-## Developing
+# Build and Run
+To build the Bubble jar, run:
+```shell script
+bbuild
+```
+
+To run the Bubble API server, run:
+```shell script
+run.sh
+```
+Hit Control-C to stop the API server.
+
+# Developing
 You can develop directly on the Vagrant box by editing the source files in `${HOME}/bubble`, then
-building and running from there.
+building (via `bbuild` or manually with maven) and running from there (via `run.sh`).
 
 Alternatively, you can develop locally on the host and periodically synchronize your source
 and/or build assets to the Vagrant box, where you then (maybe build and) run the Bubble API.