some python restyling for simple_webserver/installer.py