As php 7.1 has been officially released, it will be nice to update CI servers to test with latest and greatest version
- public ci: no need, it's php 5.6.
- laptop ci: no need it's php 5.4/5.6.
- laptop ci7: changed, now 32 and up are running 100% php 7.1 (but compare databases that needs php7.1 for installing Moodle < 3.2). And 31 and older are using php 7.0 for lint/phpunit/compare databases.
- travis adjustment.