Fix #7: New command ggtags-list-tags