Jenkins plugin to lock a shared workspace between jobs