Added text explanations for some ProvException subclasses
Updated test cases from ProvToolbox (v4.1)