os.mtime more precision to timing

Since os.time doesn't return time in milseconds precision and for some
exhaustion scripts it's really necessary, I implemented this function.