v0.13.0
Reintegrate fork joschi/dive (#570)
Rework CI validation workflow and makefile (#460)
rework package structure