feat(highlighters.stroke)!: add nonScalingStroke option

[kumilingus]

Description

Add nonScalingStroke option to stroke highlighter to add vector-effect=non-scaling-stroke to the highlighter.

Migration guide

It's a visual breaking change because the highlighter now scales with the paper (when the zoom level of the paper changes, the stroke thickness changes too).

Before:

highlighters stroke.add(elementView, 'body', id);

Now:

highlighters stroke.add(elementView, 'body', id, { nonScalingStroke: true });