more detail in HISTORY.md about cli removal

Previously terse in case it was decided to keep the code and
only remove the bin:mojito symlink. But code is gone in this
PR so fuller details are warranted.