Python: Best way to choose a random file from a directory