Fix incorrect port of standard Python server

- Python’s built-in server listens on port *8000*, not *8080*.