Example app with CAS-authenticated login, display of the CAS username around the site, and a correct CAS logout implementation