more finegrained start of lease expirations (int64 -> float)

Still waiting for CI
As usual I'm optimistic :-)

This replaces all usages of Unix.time with Unix.gettimeofday where resolution matters.
Protocol has been kept backwards compatible.