implemented bv conflict generalization for one function symbol
added argument skolemization option for bv-abstraction
Merge branch 'bit-vectors' of https://github.com/lianah/CVC4 into bit-vectors