Cursor: add --size to CLI tool

Allow experimenting with cursor sizes, too. The size can only be
changed with a change-of-theme, because the tool already blocks
setting-the-same-theme-again.