Increase timeout for live docs

Note: it seems that this setting 'idle_timeout' is only used for live
documentation browser pages, so it should be safe to change it without
affecting users' worksheets' behavior.