frama-c is marked for autoremoval from testing

[Debian testing autoremoval watch]

frama-c 20161101+silicon+dfsg-4 is marked for autoremoval from testing on 
2017-02-25

It is affected by these RC bugs:
851104: frama-c: fails to upgrade from 'jessie' - trying to overwrite 
/usr/lib/frama-c/analyses_manager.cmi