A package of OpenGrok with Jetty and a simple interface, usable as a standalone desktop application