Added conversion function toBitVec.
Merge pull request #7 from puneet/master

Added conversion function toBitVec.