Update `release.sh` script

Automatically pull devel branch from GitHub, merge with master, and tag
release commits.
Merge pull request #206 from codeguru42/release

Release