Punic 1.0

Punic 1.0 is out: let's the 1.0.x release series :wink: