PHP framework that deals with a lot of HTML, CGI, and Sessions