PLT-3985 - Show initial time for counterexamples in a human readable way

[palas]

This PR fixes a legacy vestige that caused the initial time of a counter example produced by the static analysis to be shown as a slot, even though it was an amount of milliseconds. So this PR changes the type names that referred to slots and displays the value as a date and a time.

It also updates the README.md that had one of the commands spelled wrong, and adds the scriv command to the nix development shell.

Pre-submit checklist:

• Branch
  • Tests are provided (if possible)
  • Commit sequence broadly makes sense
  • Key commits have useful messages
  • Relevant tickets are mentioned in commit messages
  • Formatting, materialized Nix files, PNG optimization, etc. are updated
• PR
  • Self-reviewed the diff
  • Useful pull request description
  • Reviewer requested

[hrajchert]

The code looks good, but I got this error while trying the static analysis... Not sure if related

...Failure: An error occurred while decoding a JSON value: Under 'Response': At object key 'result': Under 'Result': Under 'CounterExample': No value was found.

[palas]

The code looks good, but I got this error while trying the static analysis... Not sure if related

...Failure: An error occurred while decoding a JSON value: Under 'Response': At object key 'result': Under 'Result': Under 'CounterExample': No value was found.

I cannot reproduce it. Have you run generate-purescript and the other commands in the README.md?