An Arduino micros()-like function with 0.5us precision (micros() has only 4us precision)