alt-ergo is marked for autoremoval from testing

[Debian testing autoremoval watch]

alt-ergo 1.30-1 is marked for autoremoval from testing on 2017-12-18

It is affected by these RC bugs:
882162: alt-ergo: alt-ergo FTBFS: Error: This expression has type Sim.Core.t * 
bool but an expression was expected of type Sim.Core.t