Nicer html presentation
Merge branch 'alt-abd' of github.com:seplogic/corestar into alt-abd
utf-8 encoding to be able to display ⊢
also turned off html tags and log_prove again