change the name of the session id cookie used by the file-proxy
Merge pull request #292 from john-hill/develop

change the name of the session id cookie used by the file-proxy