Add ArtiFinder discovered-artifact integration (website)#20

vahldiek merged 18 commits into

ReproDB:mainReproDB/reprodb.github.io:mainfrom

vahldiek:feature/artifinder-integrationvahldiek/reprodb.github.io:feature/artifinder-integrationCopy head branch name to clipboard