bin/grep-gtags: see main repo system-config

Signed-off-by: Bao Haojun <baohaojun@gmail.com>