Cursor Doubling

Cursor now doubles with pixel doubling, enabled by a new checkbox in the settings menu.
I think I like pchote's suggestion to disable the cursorDoubleCheckbox unless pixel doubling is disabled better. Just feels a bit cleaner due to the obvious dependency.