replaced use of jetty by inline tinyhttpd server, then recoded the Tutor
server using the util::Webserver module based on tinyhttpd. The
documentation was regenerated to test and the differences can be
explained by random query generation. the same amount of warnings are
generated as before.
Merge branch 'master' of github.com:cwi-swat/rascal