#2 Graph nodes should properly enclose claim text

[mattsouth]

Currently the graphs produced by JungGraphWriter do not take into account the length of the claim, and look poor if the claim has more than one letter. Adjust the size of the nodes in the generated graphs to correctly enclose the claim text.