improvements in manager binary

Added list of grammars, alphabets and functions verbs. Also improves the
help and fixes a query search bug