change installation to new isa2rdf download, fix some typos