Possibility to get annotations in source file as a student

[clairemyr]

Now graders can get annotations in source file, but students too would like to have the possibilty to do so.

[danielstjules]

Given that students are actually editing the source code themselves, aren't comments sufficient? I don't see how annotations would offer any benefit.

[benjaminvialle]

@clairemyr could you post a pull request with your patch, please?