[web2py] Gluon contrib json encoder

[omicron]

Before, the encoder have :

"""Implementation of JSONEncoder
Modified by Massimo Di Pierro to handle datetime
"""

and now it's not the case in the last stable version ?