Python/FileSystemWebServer: Make dirdownloader.py support download any directory