add option ana.arinc.dot (saves result/arinc.dot if enabled), add verbose option for update_suite.rb
arinc: add epsilon transitions between nodes during join
arinc: keep callstack per action instead of per node
keep set of predecessor nodes and write out edges coming from each node
Merge branch 'master' into externalInfo