Implement BOOLEXTRACT, and rename all instances of BVGETBIT to BOOLEXTRACT as well (since they are the same).

I renamed BVGETBIT to BOOLEXTRACT to be consistent with CVC, and completed the implementation. Note that c_interface.cpp has its own implementation which I did not update (I don't have an application that uses the C interface).