Hack in support for setting some warning flags. We need to do this properly at some point.
Hack in support for setting some warning flags. We need to do this
properly at some point.

delcypher/svcomp-build-mockup,delcypher/fp-bench,delcypher/svcomp-build-mockup,delcypher/fp-bench,delcypher/svcomp-build-mockup,delcypher/fp-bench,delcypher/svcomp-build-mockup