retire util::to_int() and util::to_string()
prefer C++ library to home grown code for trivial things like that.
remove some dead code
and fix std::chrono stuff while at it.