feat(library/tactic): change apply tactic semantics: goals are not reversed; and dependent arguments are not included

This commit also adds the tactic rapply that corresponds to the previous
semantics we have been using.
feat(library/tactic): change apply tactic semantics: goals are not reversed; and dependent arguments are not included