ltsmin: abi has changed

This patch provide a support for LTSmin
except for partial order reductions.

* boilerplate/go2pins.c,
boilerplate/go2pins.h,
boilerplate/main.go: here.
1 job for er/ltsmin in 1 minute and 19 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Test
passed #75511
debian-stable-gcc

00:01:19