orthologic 1.0

To use, put these lines atop of a .scala file and run with scala-cli:

//> using dep "ch.epfl.lara::orthologic::1.0,url=https://github.com/epfl-lara/lattices-algorithms/releases/download/release/orthologic.jar"
import ortholattices.Helpers.*