[server] Make the server binary save a default server.properties file in working dir

[NyaomiDEV]

I needed creating one myself thanks to the wiki, but it isn't always the best way to know there can be a server.properties file for other people. It would be nice if the server, once launched, created its own default configuration file.