alt-ergo is marked for autoremoval from testing

[Debian testing autoremoval watch]

alt-ergo 1.30+dfsg1-1 is marked for autoremoval from testing on 2018-11-12

It (build-)depends on packages with these RC bugs:
885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2