Merge branch 'insert'
started working on tab completion for database and collection names (needs modifications in polymake)
tab completion for db name
tab completion for database and collection
tests for tab completion
Specify tab completion function in polymake.ext. Should now be compatible with polymake revision [11473].
Merge branch 'tabcompletion'
tab completion is now compatible with polymake revision [11474]
some color in db_info output
Merge branch 'master' into insert