mainarinc.ml: frontend for generating graphviz and promela files from saved analysis results
promela linearization: just write out all edges with jumps instead of calculating post-dominators etc. (too expensive)
fix ErrorHandler process name