add welcome in git-repl

Does everybody like the new-added welcome?