Change jetty download to use wget and RUN.

This will allow docker to cache the jetty download.