Cursor aspect ratio fixes for gtk 3
This implements the suggested changes from #3441 (closed) for gtk 3:
- Change the
GtkSettings
keyfile loader to support float properties - Add a fallback to the old style property if the setting is unchanged
- Fix/update the cursor invalidation code in
GtkTextView