creduce is marked for autoremoval from testing

[Debian testing autoremoval watch]

creduce 2.9~20181016-1 is marked for autoremoval from testing on 2018-12-12

It (build-)depends on packages with these RC bugs:
911159: frama-c: please stop building the frama-c GUI