BACKLOG-928 fixed incorrect session cookie name being used. Instread of hardcoded PHPSESSID the value from simplesamlphp config is now used
Merge branch 'Surfnet-patch-00010_BACKLOG-928-bug_fix_for_incorrect_session_cookie_name' into develop