Update config.py

adding server-env-tools.