Merge branch 'stop-using-binary_function' into 'master' See merge request [!685] [!685]: Nonecore/dune-common/merge_requests/685 Closes #167