Build dev server as a java_binary

Update documentation and run_dev script to reflect reality.

Change-Id: If2468d9084d373b47c385eba3420d0ee55664750
5 files changed