Open Porous Media Git 1.3.25

pts/opm-git-1.3.25 - 25 November 2018 - Build system updates

downloads.xml

install.sh

results-definition.xml

test-definition.xml