Allow user to ignore specific messages

A new option --ignore has been added which takes a list of
message IDs (as defined in diagnostics.py and output by XML
mode).

Requested in #7
Execute list() command properly

The list() command, unlike set() and unset(), has been a no-op
until now.

Fixes #9