Increase Xmrs subgraph robustness.

Non-essential attributes on the graph, such as back-links from IVs to quantifiers and quantifiees) were not being updated when selecting subgraphs. This commit makes it easier to do so by having a XmrsDiGraph.refresh() method to recreate them.
Make repr strings proper. Fixes #33