1.1.3

• update: dev/ runs build-tools instead of its own copy of the scripts
• update: bash-tools 1.0.7 in require-dev, the scripts use its functions
• new: the GitHub release has the zip, next to the Debian package and its signed checksums
• fix: the release commit and the tag are v<version> followed by the changelog