ACL2 program to parse JSON to an AVL tree.

Contains the complete AVL tree structure that we modified last semester.
The main function is "parse" and it takes the JSON string as a list of
characters.  Parse creates a nested AVL tree using the JSON tags as the
keys.