update Readme to point to correct Travis location

README.md

-<img src="https://github.com/bendisposto/prob/raw/develop/logo.png" width="500" align="center">
+<img src="https://github.com/hhu-stups/prob-rodinplugin/raw/develop/logo.png" width="500" align="center">
 
-[![Build Status](https://travis-ci.org/bendisposto/prob.svg?branch=develop)](https://travis-ci.org/bendisposto/prob)
+[![Build Status](https://travis-ci.org/hhu-stups/prob-rodinplugin.svg?branch=develop)](https://travis-ci.org/hhu-stups/prob-rodinplugin)
 
 # The ProB Model Checker and Animator
 
-[![Build Status](https://travis-ci.org/bendisposto/prob.svg?branch=develop)](https://travis-ci.org/bendisposto/prob)
+[![Build Status](https://travis-ci.org/hhu-stups/prob-rodinplugin.svg?branch=develop)](https://travis-ci.org/hhu-stups/prob-rodinplugin)
 
 The ProB source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html).
 (C) 2000-2019 Michael Leuschel and many others.

de.prob.ui/MF

+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: ProB Ui Plug-in
+Bundle-SymbolicName: de.prob.ui;singleton:=true
+Bundle-Version: 7.4.2.qualifier
+Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)",
+ de.prob.core;bundle-version="[9.4.0,9.5.0)",
+ org.eventb.core;bundle-version="[3.0.0,4.0.0)",
+ org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)",
+ org.eclipse.gef;bundle-version="[3.7.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.7.0,1.8.0)"
+Bundle-ActivationPolicy: lazy
+Bundle-Vendor: HHU Düsseldorf STUPS Group
+Bundle-Activator: de.prob.ui.ProbUiPlugin
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Export-Package: de.prob.ui