Travis: use jakub-onderka/php-parallel-lint