Improve handling of warning messages.

This commit also turns the anomaly about unknown warnings into a warning itself. Moreover, it properly restores the old state in without_warning.