add option ana.arinc.dot (saves result/arinc.dot if enabled), add verbose option for update_suite.rb