Change rdfhelp.dump_model so you can specify a destination stream.