v0.13.0
Rework CI validation workflow and makefile (#460)
Reintegrate fork joschi/dive (#570)
Support version printout (#37)