benchmarks: add control for quadcopter added
fix(tools/proofcheck/checker/func.ml): remove debugging info
chore(travis): fix gcc-version on OSX build (gcc-4.8.1)