Added helpful command-line tools for mobile push

Command-line tool to list registered push users
==============================
usage: listregisteredpushusers
-A,--adminuser <arg> Admin username
-h,--help Prints a help text
-l,--login <arg> The optional JMX login (if JMX
authentication is enabled)
-P,--adminpass <arg> Admin password
-p,--port <arg> The optional JMX port (default:9999)
--responsetimeout <arg> The optional response timeout in seconds
when reading data from server (default: 0s;
infinite)
-s,--password <arg> The optional JMX password (if JMX
authentication is enabled)
-t,--host <arg> The optional JMX host (default:localhost)


Command-line tool to delete a registered push user
=================================
usage: deleteregisteredpushuser
-A,--adminuser <arg> Admin username
-c,--context <arg> A valid context identifier
-h,--help Prints a help text
-i,--client <arg> The client identifier
-l,--login <arg> The optional JMX login (if JMX
authentication is enabled)
-P,--adminpass <arg> Admin password
-p,--port <arg> The optional JMX port (default:9999)
--responsetimeout <arg> The optional response timeout in seconds
when reading data from server (default: 0s;
infinite)
-s,--password <arg> The optional JMX password (if JMX
authentication is enabled)
-t,--host <arg> The optional JMX host (default:localhost)
-u,--user <arg> A valid user identifier