Use eventfd when available instead of pipe

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

This probably needs to be #ifdef'd?