tiny tweaks.
Circuit visualizer is not a post-processer called draw_circuit

clean up cmd-line args
misc cleanup.
Take a stab at fixing up = vs ==

Adds examples/equalities.dyna to selftests.
Merge branch 'master' of github.com:nwf/dyna
Placeholder docs page for builtins
merge
Fix bugs in parser and add tests

Notably, this fixes the parser backtracking all the way to the start when it
encounters an operator it doesn't know about.  While here, token-ize
constituent parsers and move parser export types to their own module.
Make InstF parametric in IFree annotation

Chase changes around the codebase.
This allows us to avoid making the decision in the parser, which uses ()
for the IFree annotation type.
Merge branch 'master' into plan-nonground

Conflicts:
	src/Dyna/Analysis/Mode/Execution/FunctionsNoAlias.hs
	src/Dyna/Analysis/Mode/Inst.hs

Chase semantic implications, too. :)