Merge branch 'daurnimator-master'
Use an eventfd on linux instead of a pipe.

eventfd are supposedly cheaper (inside the kernel) than a pipe.
It is supported with the flags argument since glibc 2.9.

Resolves #23