The pre-commit check is strict about this, and even checks non code
files.

Signed-off-by: Peter Sewell <Peter.Sewell@cl.cam.ac.uk>

Signed-off-by: Peter Sewell <Peter.Sewell@cl.cam.ac.uk>

Signed-off-by: Peter Sewell <Peter.Sewell@cl.cam.ac.uk>

This strips trailing whitespace and fixes line endings. I had to add the
*.dump files to the exclude list to avoid excessive changes, but
ideally these would not be part of the repository since they can just be
generated by running objdump manually.

tweak README for move to riscv organisation

Encourage use of `opam` and streamline by moving discussion of setting `SAIL_DIR` into a separate section about building using a custom Sail version.

. add a dependency diagram to the reading guide
. simplify the OS boot instructions using the new Linux image
. put funding ack in top-level readme