Don't use ggtags with python
Minor binding changes for imenu and marks
Ignore /semanticdb