This merges the mid-May 2017 state of the upstream dune-common repository into EXADUNE, which gets rid of autotools and fixes a whole bunch of problems.