This is a preparation step to move the bug reporting procedure from the
wiki to the user manual and to add a contributing section.