Abstract timer used in Server.cpp to separate class so #ifdefs can be used to work around older standard libraries