Upstream changes: Version 7.1 29.09.2009 + Added prefix "BV_" to all global identifiers in "BitVector.c", "BitVector.h" and "Vector.xs"