Added platforms-time.h for Windows time functions

Added platforms-time.h for Windows time functions, very much a temporary
solution. We should probably find a more elegant, and cross-platform
solution. Perhaps something from the C++11 standard or the boost
library?