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