TS: more pythonic timerfdSettime(...)

TODO:
    - More testing of timerfdSettime (correct behaviour wrapper and C-timer workings)
    - Create timerfdGettime wrapper