duchainify: Introduce --dump-definitions
duchainify: Introduce --dump-symboltable