Adding a hats file.
Adding some more operations for bit vectors
Added more functionality to the Z3 bindings for bitvectors. Started incorporating it into the constraint solver.
Merge pull request #9 from wdblair/wdblair

Adding Z3 ATS Bindings and External Constraint Solver