Add a button to ignore a particular problem

[tatomyr]

What should we improve?

Sometimes users want to add a single problem to the lint-ignore file but have troubles with doing that manually.
It'd be useful to be able to do that from our extension.

How should we improve it?

A button (or something similar) alongside the highlighting, which would add the particular problem to the lint-ignore file (see the screenshots).