Added criterium library for benchmarking purposes.
Added two variants of contains/2:
contains|iteratorbased/2 based on iterators, and contains|memberbased/2
based on core.logic's membero/2.
From now on, contains/2 is an alias for contains|iteratorbased/2.