Travis: use JakubOnderka/PHP-Parallel-Lint for linting of sources