add sanity test target
Merge pull request #193 from artcompiler/sanity-tests

Add build target for running Tamarin sanity tests