Patch by Riccardo Marcangelo: Added a pop_back() member function which decreases the size of the bitset by one