Start btor-as-stp.pl wrapper script

Stopgap for testing Boolector before we have native SMTLIB2 support.
Merge pull request #2 from bitblaze-fuzzball/master

Start btor-as-stp.pl wrapper script