Timecmd: time command (linux) alternative on windows