Release for Zenodo (after PhD defense)

This release is the one that has been used to perform the benchmarks in my dissertation, after the private defense.