added user_bitvector.hpp
Bug fixes to implement user-bitvector feature