Ability to interactively delete or force-delete branches

[openjck]

This should be named consistently with built-in Git commands, e.g., git ibranch -D.

See also #11.