make WWW_Find work again, now that its ML modules reside within a theory context (cf. bf5b45870110) -- patch by Rafal Kolanski;
Requirements
------------
lighttpd
polyml (other ML systems untested)
Quick setup
-----------
* install lighttpd if necessary
(and optionally disable automatic startup on default www port)
Quick instructions
------------------
* start the server with:
isabelle wwwfind start
(add -l for logging from ML)
* connect (by default) on port 8000:
http://localhost:8000/isabelle/find_theorems
* test with the echo server:
http://localhost:8000/isabelle/echo
* check the status with:
isabelle wwwfind status
* stop the server with:
isabelle wwwfind stop