Emacs hol-subgoal-tactic now emulates "suffices_by" as well as "by"

Get the suffices_by effect by using a prefix argument, i.e., by
pressing C-u before invoking it.  Thus, C-u M-h M-s will give you
"suffices_by", and M-h M-s will give you "by" (as before).