Add a few more integer specific bit-fiddling functions. Fix some bugs in cpp_int left shift code. Document some missing backend API's, and update docs.