Implement avl_union

This PR adds the `avl_union` function and it's implementation.
Elements which are not in `dest` are inserted into `dest`.