2017-05 upstream merge

Steffen Müthingrequested to merge
feature/upstream-merge-2017-05 into master

This merges the mid-May 2017 state of the upstream dune-istl repository into EXADUNE, which gets rid of autotools and switches to dynamic parallel categories, among others.

Merge request reports