Start btor-as-stp.pl wrapper script

Stopgap for testing Boolector before we have native SMTLIB2 support.