unstructured backedge flow

goto L1;
L2:
a();
// backedge
L1:
b();
goto L2;
Run svcomp.
cleanup
remove old latex building code
cleanup
don't bail if some file failed
s/-ignore-infinite-loops/-allow-infinite-loops/
move tools to thpani/sloopy-bench repo