v0.7.2 release

Signed-off-by: Valérian Saliou <valerian@valeriansaliou.name>
New dev version: v0.8.0 (AGAIN!)

Signed-off-by: Valérian Saliou <valerian@valeriansaliou.name>