Add tidying-commits-before-merging to the merging contribution guide

Description

Note that commits should always be tidied up, before merging into the according master branches.

Explanation

The master branch history should be clean. Uneccessary commits like fixes of discussions should be left out.

Dependencies, issues to be resolved beforehand

None