use ISO 8601 format for timestamp

it will be used for development server in a future
fix exit status to non-zero on specified wrong optimization commands