Arduino library for Timer5 (on Arduino mega boards)