High Performance Timer (Windows)

Replaced old low resolution timer with a higher resolution timer in
Windows.