Build dev server as a java_binary

Update documentation and run_dev script to reflect reality.

Change-Id: If2468d9084d373b47c385eba3420d0ee55664750

lib/BUCK

diff --git a/lib/BUCK b/lib/BUCK
index 5a6c80e..3faf33f 100644
--- a/lib/BUCK
+++ b/lib/BUCK
@@ -16,12 +16,14 @@
   name = 'servlet-api_2_5',
   id = 'org.eclipse.jetty.orbit:javax.servlet:2.5.0.v201103041518',
   sha1 = '9c16011c06bc6fe5e9dba080fcb40ddb4b75dc85',
+  unsign = True,
 )
 
 maven_jar(
   name = 'servlet-api_3_0',
   id = 'org.eclipse.jetty.orbit:javax.servlet:3.0.0.v201112011016',
   sha1 = '0aaaa85845fb5c59da00193f06b8e5278d8bf3f8',
+  unsign = True,
 )
 
 maven_jar(