wsgiserver.py: rename 'hello_world' to 'application'; only start server if run as a script (so that it can also be run by another server)