Use the standard license file
Add fast gettimeofday and clock_gettime wrappers