Start merging finite_map/dictionary theories into one directory

Aim is to also include src/enumfset, possibly also the balanced_bst
development from examples, and a CakeML theory (alist_tree).

With all this stuff in the same place, we reduce branching under src/
and get better concurrency when building.