Merge branch 'master' of github.com:toineo/kpn

Conflicts:
	operators.ml
Bugfix for the get function in proletarian.ml.
The concurrency monad now delivers a fast Sieve of Eratosthenes!
Big speed optimization for coroutines.

Also updated README to reflect progress.
Details