Enable hiding the cursor

This can be used together with setOption('readOnly', true) to make the editor read-only without confusing the user with a blinking cursor. I tried using setOption('readOnly, 'nocursor') but that also disabled copying, which was undesirable.