Final set of examples

(Updated CoFloCo translation, new KoAT 2014 examples, fixed broken
translation of COSTA examples, removed unused .cint files)
Adapt CoFloCo wrapper to lattest CoFloCo version
Adapt Loopus wrapper to latest Loopus version
Treat "nondet_" in Loopus output as unbounded value
Make report generation slightly more robust
report: Update table.js to count everything correctly
Expexp: Prettier pretty-printing
Add koat to FST (Rank (SAS10) input) converter