A plugin to enable phpCAS Authentication for phpbb 3.1.x