[web2py] Request to tag releases on github repo

[Praneeth]

Hello Massimo,

It would be great if you could tag a release while committing to github. 
It will enable us to fetch the latest stable release from github easily 
- Instead of looking at the VERSION file and backtracking the commit no 
to checkout to.

Thanks,
Praneeth