frama-c is marked for autoremoval from testing

[Debian testing autoremoval watch]

frama-c 20191204+calcium-0.1 is marked for autoremoval from testing on 
2020-06-01

It is affected by these RC bugs:
959599: frama-c: FTBFS: Error: Unbound value const_of_big_int