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

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