Fix indentation and add copyright header to time.h