Configurable sign-out after inactivity feature

[paulfitz]

For sites with sensitive data, it may be desirable to automatically log out inactive users after some time. Grist session behavior is already somewhat configurable, but inactivity of a spreadsheet user doesn't map comfortably onto what exists so far.