Compiling and adding as a third-party dep the shaded Jetty 5 used by RC.

We really shouldn't be editing the code, and there's no good reason for us to treat
the antiquated version of Jetty used by RC as anything other than a third-party
dependency.