Devops: remove obsolete release.sh (#231)

This ad-hoc release script has been replaced with a continuous
deployment workflow on Github Action which was added some time ago.

Author: sphuber