Removed stale obj
Renamed to avoid recursive invocaton

--HG--
rename : clean.sh => cleanall.sh
Now can reinstall, but refuses to execute in the repo itself
Now jars are provisioned, not downloaded by doit.sh
Added an example of Werkzeug wsgi middleware for debugging
Added dynamic (Daikon) and static (classic) assertions
Now provisioning also daikon and eclipse