Scripts for installing web2py