Slight update to our Travis CI script, now that we have a 'proper' CLI version of OpenCOR on Linux and OS X.