Change default server port from 8000 to 8888 (as suggested in tornado's documentation)