Fix artifact names
Merge branch 'release' of github.com:grisu/grisu into release