Lua config: add ggtags-mode and binding for starting lua process