Enable ctags

Cherry-picked from #128