Paver-based release script

Port release script from discontinued Jenkins server to a short Paver script.