Update scripts for installing Jetty with Docker