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. src/
  2. test/
  3. tools/
  4. .gitignore
  5. bazlets.bzl
  6. BUILD
  7. LICENSE
  8. pom.xml
  9. WORKSPACE