Streamline QA tools

This PR streamlines and corrects our QA tools:

- It removes unused development dependencies
- It removes the bin/check-cs.sh script (as php-cs-fixer now allows passing the config file via an option)
- It removes coveralls support (as the service does not work)
- It corrects some CS issues