docs: update incorrect urls

These were missed when git was moved to the new SF platform during Nov 2012.

Change-Id: I7b4ae9dea010d95f9bf4c26841b5b724f41768be
Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk>
Reviewed-on: http://openocd.zylin.com/1248
Reviewed-by: Andreas Fritiofson <andreas.fritiofson@gmail.com>
Tested-by: jenkins

README

@@ -423,7 +423,7 @@ Obtaining OpenOCD From GIT
 You can download the current GIT version with a GIT client of your
 choice from the main repository:
 
-   git://openocd.git.sourceforge.net/gitroot/openocd/openocd
+   git://git.code.sf.net/p/openocd/code
 
 You may prefer to use a mirror:
 
@@ -434,7 +434,7 @@ Using the GIT command line client, you might use the following command
 to set up a local copy of the current repository (make sure there is no
 directory called "openocd" in the current directory):
 
-   git clone git://openocd.git.sourceforge.net/gitroot/openocd/openocd
+   git clone git://git.code.sf.net/p/openocd/code
 
 Then you can update that at your convenience using
 
@@ -443,7 +443,6 @@ Then you can update that at your convenience using
 There is also a gitweb interface, which you can use either to browse
 the repository or to download arbitrary snapshots using HTTP:
 
-   http://openocd.git.sourceforge.net/git/gitweb.cgi?p=openocd/openocd
    http://repo.or.cz/w/openocd.git
 
 Snapshots are compressed tarballs of the source tree, about 1.3 MBytes

doc/openocd.1

@@ -78,7 +78,7 @@ Show a help text and exit.
 Show version information and exit.
 .SH "BUGS"
 Please report any bugs on the mailing list at
-.BR openocd\-development@lists.berlios.de .
+.BR openocd\-devel@lists.sourceforge.net .
 .SH "LICENCE"
 .B OpenOCD
 is covered by the GNU General Public License (GPL), version 2 or later.

doc/openocd.texi

@@ -222,7 +222,11 @@ or expand the OpenOCD source code.
 During the 0.3.x release cycle, OpenOCD switched from Subversion to
 a GIT repository hosted at SourceForge. The repository URL is:
 
-@uref{git://openocd.git.sourceforge.net/gitroot/openocd/openocd}
+@uref{git://git.code.sf.net/p/openocd/code}
+
+or via http
+
+@uref{http://git.code.sf.net/p/openocd/code}
 
 You may prefer to use a mirror and the HTTP protocol:
 
@@ -234,8 +238,6 @@ There are also gitweb pages letting you browse the repository
 with a web browser, or download arbitrary snapshots without
 needing a GIT client:
 
-@uref{http://openocd.git.sourceforge.net/git/gitweb.cgi?p=openocd/openocd}
-
 @uref{http://repo.or.cz/w/openocd.git}
 
 The @file{README} file contains the instructions for building the project