Initial embedding of PHP-CS-Fixer into php.tools