Merge pull request #7 from jvillard/for_radu

2 small fixes (I think)
support for bitvectors in SMT backend and misc improvements
ompile fix
just indentation
revert a change that I committed by mistake
preparing to add matching equalities in obligations

done with Jules
change suggested by Jules
Merge https://github.com/seplogic/corestar

sync with seplogic