A web2py pylint plugin