Permanently save "disable all tutorials" setting (fixes #109)

This now uses the `no_help` user attribute for this purpose.

Note that disabling of single tutorials is still only stored in a
session cookie.