A script to automate tagging of releases.

2013-04-03  Jeremy Bennett <jeremy.bennett@embecosm.com>

	* tag-release.sh: New script.