Add --show_derivations_mask to control what to print when --show_derivations
Merge pull request #58 from kho/xml

Add --show_derivations_mask to control what to print when --show_derivations