Logger: Remove unused options.

All of our loggers have timestamp: true.

Signed-off-by: Anders Kaseorg <anders@zulip.com>

app/main/request.ts

@@ -32,7 +32,6 @@ const defaultIconUrl = "../renderer/img/icon.png";
 
 const logger = new Logger({
   file: "domain-util.log",
-  timestamp: true,
 });
 
 const generateFilePath = (url: string): string => {