Add scripts for Jetty 7.x and make that the default in the docs

Jetty 7.x is the future of the Jetty project, along with its new
home at the Eclipse Foundation.  Point to that, and use updated
configuration files in our WAR.

Since 7.x is still in release candidate stage, we'll keep the
older 6.x configuration files around for now.

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