Merge branch 'master' of http://git.dune-project.org/repositories/dune-common

CMakeLists.txt

bin/dunecontrol

cmake/modules/CMakeLists.txt

cmake/modules/DuneBoost.cmake

cmake/modules/DuneMacros.cmake

cmake/modules/FindGMP.cmake

cmake/modules/FindMETIS.cmake

cmake/modules/FindParMETIS.cmake

cmake/modules/Headercheck.cmake

cmake/modules/Makefile.am

cmake/scripts/CMakeLists.txt

cmake/scripts/FinalizeHeadercheck.cmake

cmake/scripts/FindFiles.cmake

cmake/scripts/Makefile.am

dune/common/deprecated.hh

dune/common/dotproduct.hh

dune/common/hash.hh

dune/common/iteratorfacades.hh

dune/common/parallel/remoteindices.hh

dune/common/test/CMakeLists.txt