Adds the AVL tree's toList/Any properties#3060

mikedelorimier wants to merge 6 commits into

agda:masteragda/agda-stdlib:masterfrom

mikedelorimier:avl-to-list-onlymikedelorimier/agda-stdlib:avl-to-list-onlyCopy head branch name to clipboard