*Improvedthefixfor[#30](https://github.com/sebastianbergmann/php-timer/issues/30) and restored usage of `hrtime()`
##[3.1.1]-2020-04-17
###Fixed
*[#30](https://github.com/sebastianbergmann/php-timer/issues/30): Resolution of time returned by `Timer::stop()` is different than before (this reverts using `hrtime()` instead of `microtime()`)