Use of common_session_SessionManager instead of a plain old session_destroy() call.
Merge pull request #18 from oat-sa/session-mgmt

Use of common_session_SessionManager instead of a plain old session_dest...