Build dev server as a java_binary

Update documentation and run_dev script to reflect reality.

Change-Id: If2468d9084d373b47c385eba3420d0ee55664750

tools/run_dev.sh

diff --git a/tools/run_dev.sh b/tools/run_dev.sh
index 87156e7..14620d1 100755
--- a/tools/run_dev.sh
+++ b/tools/run_dev.sh
@@ -17,10 +17,14 @@
 set -e
 
 ROOT="$(dirname "$0")/.."
-VERSION="$(grep '^  <version>' "$ROOT/pom.xml" | sed 's/\s*<[^>]*>\s*//g')"
 PROPERTIES=
 if [ "x$1" != "x" ]; then
   PROPERTIES="-Dcom.google.gitiles.configPath=$1"
 fi
 
-java $PROPERTIES -jar "$ROOT/gitiles-dev/target/gitiles-dev-$VERSION.jar"
+(
+  cd "$ROOT"
+  buck build gitiles-dev:dev
+)
+
+exec java $PROPERTIES -jar "$ROOT/buck-out/gen/gitiles-dev/dev.jar"