Support hover annotations on code

[salikh]

It would be nice to be able to annotate user code with additional messages ,and hints.
Since the code submission is already included in the autograder report,
the most natural place to show the annotations to the user would via hover annotations,
perhaps with some visible markers on the source code.

On the backend side, there should be a support in autograder tests to emit source code annotations.