src/log.php: Include IP address, when available (via $_SERVER), in default log-message format.