[milestone] plot DB content

revised DB structure, added scripts to draw exported DB content, see
Draw_DB.sh.
We can now build a DB, import data, export as graph format, convert to
dot file, and plot with graphviz. We now lack a GUI to communicate with
DB.
The doc needs some work too.