Working on the README.md.
Also added some examples and rearranged the execution order a little bit in zephyrus.ml, so that the validation mode does not require us to choose an optimisation function.