Enable custom annotations of code lines in SeqDev

[joswig]

Allow adaptations to return a mapping of line numbers to annotations, not limited to errors and warnings. These would go in a codemirror gutter An example use case would be command times, which the adaptation would compute.