[ci] add configuration with DUNE_ISTL_WITH_CHECKING

Christian Engwerrequested to merge
ci-with-checking into master

fixes #72 (closed)

Merge request reports