Add delete command - delete an existing batch

Allows the user to delete a batch created with the batch plugin.

Change-Id: I331b2675597a8b342b950b37edc36ac29843e8f0
7 files changed
tree: ea47d59b41a7c9311ff9100b7523ac31fb0e5c89
  1. .gitignore
  2. BUILD
  3. LICENSE
  4. WORKSPACE
  5. bazlets.bzl
  6. pom.xml
  7. src/
  8. test/
  9. tools/