Prints a welcome message to the stdout