v1.8.0

Add doccomments: Add (** documentation with two stars **) before entities so the documentation is shown on how. Supports fun, let, letfun, predicate, event, table and define.
Navigate in .pv.log files to the definition of process references (e.g. {21}).