Move the Jetty 6.x start script to our extra directory

Unpacking the script from our WAR is easier than copying and
pasting from the documentation.  We also need a different
file for Jetty 7.x.

Change-Id: I73b558bdc8f5e1fd4889eaa0ce06bf49cc660448
Signed-off-by: Shawn O. Pearce <sop@google.com>
2 files changed