files ./satore/clause.rkt and ./satore/Clause.rkt clash on some filesystems (e.g. MacOS)

[mrngbaeb]

Many filesystems are not case sensitive and thus these files are written to the same location if you clone this repo.

This also applies to the tests ./satore/tests/Clause.rkt in a similar fashion.

Renaming these files would be helpful.

[Metaxal]

I just saw this, sorry. Thanks for the report. I'll make the change soon.