magit-diff-options: warn about unsupported options

Close #1007.