Merge pull request #2403 from nakengelhardt/sim_timescale

sim -vcd: add date, version, and option for timescale

diff --cc passes/sat/sim.cc
index b7085369ade6183a7da589143f5b6fd6f1e291cf,3d2081a74818310b0e276a47796f2ceca383b531..75f922dba2ef761b63fefec0bacdf4eb02edfb55
--- 1/passes/sat/sim.cc
--- 2/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@@ -20,8 -20,9 +20,10 @@@
  #include "kernel/yosys.h"
  #include "kernel/sigtools.h"
  #include "kernel/celltypes.h"
 +#include "kernel/mem.h"
  
+ #include <ctime>
+ 
  USING_YOSYS_NAMESPACE
  PRIVATE_NAMESPACE_BEGIN