server.c: display port number
.gitignore: don't upload the server binary