Moving eden into web2py and fixing the repeated login/logout issue