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'