A Galaxy tool for merging RDF graphs into one