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.
Merge pull request #477 from nidico/feature-109-remember-disable-all-tutorials-setting

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