[web2py] Some improvements in scheduler

[Massimo Di Pierro]

better locking system. Now heartbeat are adjusted automatically and
dynamically (max 20 seconds apart).