Add case-sensitive to "better-comments.tags" setting

Hey, I would like to specify case-sensitive in the settings for a specific tag, e.g.:

"tag": "todo",
            "color": "#FF8C00",
            "strikethrough": false,
            "underline": false,
            "backgroundColor": "transparent",
            "bold": false,
            "italic": false,
            "case-sensitive": true

