libtock: Support 64-bit time values

[alistair23]

This adds support for the new 64-bit alarm capsule introduced in https://github.com/tock/tock/pull/3355

We don't support setting alarms with a 64-bit reference, as the Tock syscall architecture doesn't allow it.