Run of lintian-fixes for frama-c

Try this locally (using the lintian-brush package):

debcheckout frama-c
cd frama-c
lintian-brush

Summary

Full worker log Full build log