Git delete tag from remote.
---
From http://nathanhoad.net/how-to-delete-a-remote-git-tag