Assign random port to jetty

The jetty server will now use a random port instead of the fixed port 8881.