Correct branch names
Optionally fetch the latest version of the remote repository before checking
out a new branch. Deals with the problem of a new branch having been created.

2013-02-25  Jeremy Bennett <jeremy.bennett@embecosm.com>

	* arc-versions.sh: Optionally do a fetch first, to deal with new
	branches.
Revert "Optionally fetch the latest version of the remote repository before checking"

This reverts commit d7ba28b695a7f6479dffb788b7c944f785f83d13.

Accidentally introduced a whole load of irrelevant changes.
Fetch remote repositories before checking out, to ensure that new branches are
available.

2013-02-26  Jeremy Bennett <jeremy.bennett@embecosm.com>

	* arc-versions.sh: Optionally do a fetch first, to deal with new
	branches.
Merge branch 'arc_4_8-toolchain-dev' into arc-toolchain-mainline

Conflicts (resolved):
	arc-versions.sh