Show a warning to save five minutes before session times out.
Updated determination of session expire time

If no custom session name is in use, we default to the cookie_lifetime
setting in PHP, in accordance with the existing behaviour in ICMS.
Merge pull request #69 from jegelstaff/session-timeout-warning

Comments on a line are lost if that line is changed in a subsequent commit.  :-(