Add some kernel metadata (console banner and help link)

src/main/java/de/prob2/jupyter/ProBKernel.java

 package de.prob2.jupyter;
 
+import java.util.Collections;
+import java.util.List;
+
 import com.google.inject.Inject;
 
 import de.prob.animator.domainobjects.AbstractEvalResult;
@@ -23,6 +26,16 @@ public class ProBKernel extends BaseKernel {
 		this.trace = new Trace(classicalBFactory.create("MACHINE repl END").load());
 	}
 	
+	@Override
+	public String getBanner() {
+		return "ProB Interactive Expression and Predicate Evaluator (on Jupyter)\nType \":help\" for more information.";
+	}
+	
+	@Override
+	public List<LanguageInfo.Help> getHelpLinks() {
+		return Collections.singletonList(new LanguageInfo.Help("ProB User Manual", "https://www3.hhu.de/stups/prob/index.php/User_Manual"));
+	}
+	
 	@Override
 	public DisplayData eval(final String expr) {
 		assert expr != null;