Pickle dump is not flushed before exit#167

Johan511 wants to merge 3 commits intoseL4:masterseL4/camkes-tool:masterfrom

Johan511:hhn/flush-on-dumpJohan511/camkes-tool:hhn/flush-on-dumpCopy head branch name to clipboard