SIGINT handling doesn't work with Behat with PHP 7.0.x

Run following on php7.0.x, php 5.4.x Initialise behat Run behat using vendor/bin/behat and ensure it starts normally Press ctrl+c to stop process and ensure behat stops with execution summary. Run behat using php admin/tool/behat/cli/run.php and ensure it starts normally. Press ctrl+c to stop process and ensure behat stops with execution summary. Modify mod/assign/feedback/editpdf/tests/behat/annotate_pdf.feature to fail at some step, run behat and then press ctrl+c. Ensure behat stops with failure summary. NOTE: Ensure to test it on 30, 31 and master FYI: You can use attached Docker_run.sh file to run different combinations.