Add GitHub release publishing script for Jenkins