Add github release to release process

[pierrejeambrun]

As suggested by @potiuk, creating an actual release on github from the tag would be great.

This change adds this step to the release process.

edit: Also add the execution bit for sign.sh script