Tomcat - New deployer and fixes

* src/core/parse_cmd.py
  -- Due to some feedback, I've changed --deploy-list to be more consistent
  with my naming.  To view deployers, you should now run --deployer-list
* src/platform/tomcat/undeployer.py
  -- Added support for 4.x
* src/platform/tomcat/deployers/webmanage_deployer.py
  -- Added a deployer that deploys as one would via the web interface.  This was
  done because some accounts may not have the manager role, but instead only
  the manager-gui.  The former can deploy via PUT's to /manager/text or
  /manager/html, the latter only to the web interface (POST to /manager/html)
Merge branch 'dev' of https://github.com/hatRiot/clusterd into dev