CI setup doesn't work

The clang runner doesn't find the opts file. In !46 (merged) the runner used an outdated dune master version to test against.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information