More complete printing of Ltac location, akin to the term-dedicated Locate command.