RDF/HDT Compressed RDF Tools