gitignore: added server.log to ignore