Retry Unix.waitpid on EINTR

Closes #1905 ; thanks a lot Thomas for pin-pointing this