Allow hiding cursor when pen is in use

[weightedangelcube]

As there is a config option to hide the cursor when touch is in use, I'd like there to be a similar option for pens, too. Alternatively, there could be a less obtrusive cursor displayed.

[vaxerski]

#11806