release.pl: make a build tag instead of a real release

If the current branch is not 'devel', create a build tag (named with the
branch name followed by '.build') instead of a real release.
This can help contributors who want to build a release just for testing.