git synctags alias for keeping local tags clean