fix pastek forced re-compilation
remove command printing
first implementation of logical proof tree representation
improved css for rules of inference
added rule for leaves in logical proof tree (not good enough) see #35
added rendered sample file
pastek now handle dot format and use graphviz to produce SVG
logical proof tree included inside a div (fix layout problem)
added dependancies file
use of wkhtmltopdf implemented
update sample
moved old makefile, will use ocamlbuild
_tags file for use with unix and menhir
Merge branch 'master' of github.com:sagotch/pastek
Merge branch 'v0.13.07'