Add CI configuration with DUNE_ISTL_WITH_CHECKING

Should we add a CI configuration which has DUNE_ISTL_WITH_CHECKING set?

See !298 (merged) for example.

mentioned in merge request !403 (merged)

closed with merge request !403 (merged)

mentioned in commit 848ada6a