add a note about Z3's license
fix markdown
add David
Add signed comparisons to predicate language

We currently interpret <, >, etc., as signed comparisons between constants. We may wish to reconsider this if a need for unsigned comparisons arises.
Create tests/instcombine/andorxor.opt
Merge branch 'master' of https://github.com/nunoplopes/alive