User manager can now determine whether nonce is stale, i.e., older than time_to_live.
minor changes.
Revised USER_MANAGER class.