Use eventfd when available instead of pipe

Resolves #23

I hope I did this correctly; please check my logic :)