#62 Logging tweaks

- DEBUG+ logs to file, INFO+ logs to console
- File name to include port number (to split multiple players in same game)
- Console log format made considerably briefer
- File log format uses fixed width columns
- Time removed from log text, because it's automatically included in all logs
- Some tweaks to log levels to remove excessively verbose information