updated instructions on using rdf3x