Disable dev tools by default#679

dmitryuk wants to merge 2 commits intosymfony:mainsymfony/panther:mainfrom

dmitryuk:disable-ci-toolsdmitryuk/panther:disable-ci-toolsCopy head branch name to clipboard