Rely on JSON files to download the different versions/snapshots of OpenCOR (closes #505).