launch script for wsgi web server