Add debug builds to Gitlab-CI
this allows to spot problems with tests that have different output in debug builds (see 392d388e)
Edited by Marco Clemencic
this allows to spot problems with tests that have different output in debug builds (see 392d388e)