main.cpp -> test.cpp
added doc comments for abtree
refill_vertex doesn't return a pointer anymore
doc
at() throws std::out_of_range if the key isn't found
the constructor throws an exception if a or b is not valid
Added doc comments for vertex