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.