Sample plugin to demonstrate the adminSshCommand feature of Gerrit's plugin API.