[python] How do I list all files of a directory?