v3.0.1

This release fixes a minor issue in release.sh.

Debian's checkbashisms tool wrongly detected release.sh as being a shell wrapper, and did not properly scan the whole file in the pre-release static analysis phase. Now it does.