Add another dev env for PHP 7