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.
Merge pull request #1022 from conde2/master

os.mtime more precision to timing