restart jenkins when we install a new plugin