Python Tutorial: How to check if a file is empty