Document new options of jenkins-debian-glue v0.6.0; update NEWS for release