Make staring repl commandline-optional
Add a simple welcome message to the repl
Example configuration file should now mention repl port