Sync with rust repo; add ctags file