Valama: Support source code annotations (e.g. for error texts)

 * Abstracted animations in SuperSourceView
 * New animation type: Annotation
 * Integrated in error reports
Valama: Show highlight animation when jumping to an error/warning