Added instructions to teach souper about undefined behavior and also add...

...ed test cases

- This patch has support for all instructions UB
- Test cases integrated in LIT infrastructure
- Fix to set solver path via command line by John
Doesn't ```-DTEST_SOLVER=-stp-path=/path/to/stp``` work for you? It's what I've been using.