nixio: Add nixio.gettimeofday() per user request