API: Add pgm_print_graph(graph_t, FILE*).

This patch adds a new API, pgm_print_graph(graph_t, FILE*).
This routine prints the provided graph to the provided
file descriptor in the 'dot' graph format.
dottest: Add test tool for dot printing.

This patch adds a simple test tool for testing
PGM's printing of graphs in the dot format.