added time to debug output. updated tgl

interface.c

@@ -3495,6 +3495,11 @@ void logprintf (const char *format, ...) {
     printf (COLOR_GREY);
   }
   printf (" *** ");
+
+
+  double T = tglt_get_double_time ();
+  printf ("%.6lf ", T);
+
   va_list ap;
   va_start (ap, format);
   vfprintf (stdout, format, ap);

tgl @ a5e0705b

-Subproject commit b16c44c727f1eec561c2c69eb7373b72ee08a52d
+Subproject commit a5e0705ba59a5ee2ee1c801e5c3ea7a74ca30afc