Implement Single Log Out (discussion)

This is more for discussion than for actual merging, unless of course, it happens to be good enough to merge.

I'm making this pull request to discuss the best way to implement Single Log Out.  I went ahead and implemented it here, using a temporary map file (maps CAS tickets to php session IDs).

Some questions:
1. Is a temporary file the best way to handle this?  I could see it getting really large if sessions time out.
2. Are there any security concerns for implementing it this way?
3. File structure, class names, etc.
4. Will this work for most projects?

@kabel @saltybeagle