Make informational messages optional

This pull request introduces a new option "general.hints" (default: on) which can be used to suppress the rather lengthy tips and explanations inside the chat buffers.