Undirected graph documentation and concept refinements.

* quite a few bug fixes
* concept::UndirGraph is almost complete and looks quite good.

 BINARIES = simann_demo

 INCLUDEDIRS= -I. -I.. -I../.. -I../{marci,jacint,alpar,johanna,athos,akos}

 include ../makefile