Python interface to sendfile(2)
