update README: remove mentioning the old dextra repo