python: Enhance set_path and add set_proxy for server.py