update release script, git-dch has changed name
update release script, git-dch has changed name

jsannemo/problemtools,godmar/problemtools,Kattis/problemtools,ghamerly/problemtools,ghamerly/problemtools,ghamerly/problemtools,godmar/problemtools,Kattis/problemtools,jsannemo/problemtools,godmar/problemtools,Kattis/problemtools,jsannemo/problemtools,Kattis/problemtools,godmar/problemtools,ghamerly/problemtools,jsannemo/problemtools