This should make go2pins distributable as a single static binary (or
rather, 2 static binaries, including ltlrec). The `boilerplate/`
directory no longer needs to exist on the user's machine.