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

* boilerplate/go2pins.c,
boilerplate/go2pins.h,
boilerplate/main.go: here.