Open Porous Media Git 1.3.18

pts/opm-git-1.3.18 - 11 May 2018 - More updates/fixes.

downloads.xml

install.sh

results-definition.xml

test-definition.xml