Update web.py version number