Add instructions about how to set up jetty