Removing unnecessary web2py files