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