ETRA 2020 short paper final

This is not a real release but rather a tag to pin the repository state at the time of the final short paper upload to the ETRA 2020 conference.

ETRA 2020 short paper submission

This is not a real release but rather a tag to pin the repository state at the time of the short paper submission to the ETRA 2020 conference.