make a more orienting README

[kohlhase]

when I come to this repos, I would like to quickly know

• what is being done here
• where I can find what
• who did things
• ...

[ja-albert]

Also: How to use it?

1. Install sbt: https://www.scala-sbt.org/download.html
2. Currently: Get the changes of Updating ISFA #11 and the patches in the comment (Copy
3. Have a running MongoDB 5.x instance - version 6 drops support for the insert operation: Get it from Docker-Hub docker pull mongo:5 and run it docker run -d -p 27017:27017 --name mongo mongo:5
4. Copy all the OEIS files (that is, the A\d{6}\.txt files) to all/
5. Run ISFA: sbt "runMain library.Library" (Caution: This does not remove documents in the database. Running it again will add all documents again, doubling the document count)
6. Retrieve the documents from the database as a JSON file oeis.json: docker exec -it mongo mongoexport --db OEIS --collection theory_verified --out oeis.json && docker cp mongo:/oeis.json .

[ja-albert]

Also: How to use it?

1. Install sbt: https://www.scala-sbt.org/download.html
2. Currently: Get the changes of Updating ISFA #11 and the patches in the comment (Copy
3. Have a running MongoDB 5.x instance - version 6 drops support for the insert operation: Get it from Docker-Hub docker pull mongo:5 and run it docker run -d -p 27017:27017 --name mongo mongo:5
4. Copy all the OEIS files (that is, the A\d{6}\.txt files) to all/
5. Run ISFA: sbt "runMain library.Library" (Caution: This does not remove documents in the database. Running it again will add all documents again, doubling the document count)
6. Retrieve the documents from the database as a JSON file oeis.json: docker exec -it mongo mongoexport --db OEIS --collection theory_verified --out oeis.json && docker cp mongo:/oeis.json .

Added in #12