Feature/textview closing paired symbols

this branch adds automatically enclossing characters for commonly used grouped characters in the json format ('"','[','{') if the user starts typing the opening kind of the pair and automatically sets the caret in between. A pair will also be deleted together, if there is no text in between, upon pressing backspace