Update formatting of README. Add port 8000.