settings: add setting to overwrite braces.
GbSourceView: allow overwriting braces like } ) ] ' and "

This can be handy instead of having to move over the character with
arrow keys and such.
settings: add overwrite-braces to settings widget