Final version after USENIX Artifact Evaluation

Start of Artifact Evaluation

Artifact evaluation -- "Artifact Available" badge