Run of lintian-fixes for why3

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

debcheckout why3
cd why3
lintian-brush

Summary

Full worker log Full build log