Added folder for ACL2 files, and AVL tree version that uses character list keys
Updated avl-charlist-keys to accept any datum type, and added a string-keyed AVL tree