frama-c is marked for autoremoval from testing

[Debian testing autoremoval watch]

frama-c 20151002+magnesium+dfsg-1 is marked for autoremoval from testing on 
2016-11-20

It is affected by these RC bugs:
837456: frama-c: FTBFS with bindnow and PIE enabled