README.md

This repo contains a sample "reproducibility license" found originally in this project: https://github.com/runtimeverification/verified-smart-contracts/blob/master/LICENSE.md