renumber poly-stlc bugs to start from 1
Misc cleanups to stlc and stlc-sub benchmarks:

 - add +
 - tweak definition of c to make more like Palka's dissertation
 - remove non-bugs from stlc-sub
 - share test suite between stlc and stlc-sub