Adding repository DOI

a few days after article was published.