Bump org.jenkins-ci.plugins:plugin from 4.87 to 4.88 (#700)

Bump org.jenkins-ci.plugins:plugin from 4.87 to 4.88 (#700) #35