A simple bitvector library for Python