Improve logging functionality

The format of timestamps is now configurable via a new
--timestamp-format option. The default format is changed
to Unix epoch time with microsecond granularity.

Co-authored-by: Davide Pesavento <davidepesa@gmail.com>
Change-Id: I7dd7fb770becca7aa339e003b1111366f34ce925
diff --git a/AUTHORS.md b/AUTHORS.md
index a0f6c55..67e928f 100644
--- a/AUTHORS.md
+++ b/AUTHORS.md
@@ -7,6 +7,7 @@
 * Jerald Paul Abraham <https://www2.cs.arizona.edu/~jeraldabraham>
 * Alexander Afanasyev <https://users.cs.fiu.edu/~afanasyev>
 * Jing Guan <http://jennica.space>
+* Alexander Lane <https://github.com/awlane>
 * Spencer Lee <https://www.linkedin.com/in/spenlee>
 * Eric Newberry <https://ericnewberry.com>
 * Davide Pesavento <https://github.com/Pesa>