python list files in directory with extension