intbitset: pop last element

• When pop is called on a list, the last element is returned. When it is called on a set, an arbitrary element is returned. So far intbitset was returning the smallest element. In order to expose a behaviour more similar to the expectation of an ordered list, intbitset now returns the largest element. (closes #626)