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

[Fabioni]

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