Rename ssh commands from put/delete/get to enable/disable/status

As a consequence, also rename the existing "disable" command
to "disabled".

Change-Id: Idc8481228a350bd36f099f1e9368271383454f31
7 files changed
tree: 0cbcab3af6b7d50e8f630c572eb364abc1d0c63b
  1. src/
  2. tools/
  3. .gitignore
  4. bazlets.bzl
  5. BUILD
  6. WORKSPACE