put in cli option to view version number

also, removed "encode()" instructions that introduced a bug
changed rule to recognize meta-target

it used to be if it had no "output" but now its no "formula" which makes
a lot more sense
added unicode support
added catch-all for errors constructing graph
fixed missing encode call
merged dev into master and incremented version