Add servlet to list plugins

Plugin information can now be retrieved from a REST interface by loading
<server-url>/a/plugins/.  The user must have administrate server
capabilities.

Signed-off-by: Brad Larson <bklarson@gmail.com>
Change-Id: I4d6663cca5ecee24e894b771f5a7a5e839cea326
2 files changed