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