(Binary Analysis) Moved CFG vertex writer into library

The instruction-based CFG GraphViz vertex writer that was defined
in the cfg2.C test is useful enough that it should be part of ROSE,
so I've moved it.