update testconfig.txt and failconfig.txt to make test run (almost) clean
refresh tamarin patches
Remove errant tick
Merge pull request #186 from artcompiler/testing

Fix tamarin test files for expected fails