add the function `pretrack` to track generation of `pre` tags
+use pretrack to track generation of `pre` tags; +fix: put $item_info$ at the right place
add dependency to ml and mli files!
fix: 2 lines missing in html.ml
Merge pull request #25 from pw374/master

enhancements (bug fixes + debugging features)