Fix server IP in lab 9. Also detail how to access leaderboards.