Option to output explanations with URIs bound to variables

[balhoff]

From @goodb: I wonder if it would be possible to adjust your explanation code such that the variables in the rules (e.g. ?x1) were replaced by the URIs that were bound to them when the rule activated? That would make it a little easier to string together the inference chain.