Fix a few outdated links

README.adoc

 = ProB 2.0 Handbook
 
-image:https://travis-ci.org/hhu-stups/prob2-doc.svg?branch=master["Build Status", link="https://travis-ci.org/hhu-stups/prob2-doc"]
-
 Repository for the ProB 2.0 Handbook.
 
-* The handbook is located at https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html
-* A PDF is available from https://www3.hhu.de/stups/handbook/prob2/prob_handbook.pdf
+* The handbook is located at https://stups.hhu-hosting.de/handbook/prob2/prob_handbook.html
+* A PDF is available from https://stups.hhu-hosting.de/handbook/prob2/prob_handbook.pdf
 
 == Building
 

src/docs/asciidoc/prob_handbook.adoc

@@ -15,8 +15,8 @@ Jens Bendisposto;Joy Clark;Michael Leuschel
 [[user-introduction]]
 = Introduction
 
-ProB is a graphical animator and model checker for the B method. The ProB homepage
-is at https://www3.hhu.de/stups/prob/[https://www3.hhu.de/stups/prob/],
+ProB is a graphical animator and model checker for the B method.
+The ProB homepage is at https://prob.hhu.de/w/,
 where precompiled binaries, installation instructions and documentation
 are available.