get modification time of file `path`,os.path.getmtime(path)