Add the patched ctags formula to the repo