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