Fix code to work under Moscow ML

Put application of functor Graph into separate file to create
SymGraph, a Graph where the node keys are "syms" (aka strings). This
is by analogy by the way Symtab is defined.

Reformat portableML/Graph.sml to be within 80 columns

Promote Isabelle's Graph functor to src/portableML