Better web2py config file processing; other small changes