Remove web_setup.py; as it wasn't used anyway.