do not remove docs.html
allow compiling with assert=no
update documentation
link to tools.html from main page