[Pki-devel] [PATCH] 885 Added startup CLI for generic Tomcat.

New pki-server commands have been added to provide a consistent way to start, stop, and restart PKI instances using different types of Tomcat installations. https://fedorahosted.org/pki/ticket/2560 -- Endi S. Dewata