Make use of the fantastic Gitlab CI to run some
tests automatically after each push.

First test: test for PHP errors in different versions.