Removed tags file

Actually this should not be git-synced, it will change constantly and it
is easy to make yourself