Output parsing and graphical UI

[PascalNB]

Covers the following user stories:

• As a user, I want to know how far into the verification process the tool is.
• As a user, I want to know what part of the code is being checked while the tool is running.
• As a user, I want to be able to see a graphical representation of the errors found by the tool within the IDE.

[Drufearr]

Done:

• As a user, I want to know how far into the verification process the tool is.
• As a user, I want to be able to see a graphical representation of the errors found by the tool within the IDE.

Cannot be done due to limited info from VerCors while running tool (even with verbose mode etc.):

• As a user, I want to know what part of the code is being checked while the tool is running.