GGU-COMPACT: "Extra tests pen colour and width" menu item

The colour, width, type of dashing and dash length can be defined for the individual curves visualising the extra tests, in analogy to the menu item "Graphics preferences/Pen colour and width" (see Section 5.3.7).