Bug-fix for change to hol-subgoal-tactic.

Now behaviour is correct (had to test "raw" prefix argument for nil).