Revert "UNDO LATER: Add reference to artifact description to README.md"
Revert "UNDO LATER: Add reference to artifact description to README.md"

This reverts commit 18f48a61db44ad272638b36646cd7fac72e861ec.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer