Extension to python cgi module