Question: How do I get the time a file was last modified in Python?