aac-tactics is marked for autoremoval from testing

[Debian testing autoremoval watch]

aac-tactics 8.9.0-1 is marked for autoremoval from testing on 2020-04-04

It (build-)depends on packages with these RC bugs:
911166: gtksourceview2: Do not release with Bullseye
952454: coq: patch to use python3 (missing tests)