Implemented a cache pruning mechanism.

The mechanism halves the size of the global satisfying assignment
cache when it gets larger than the limit set by the option
-global-ce-cache-limit. The default limit is 10,000 entries. The
pruning mechanism works by throwing out the assignments that have
been used the least since the last pruning.