Extracted the PMDA++ version in the Travis CI config (not sure this is valid; if not, I'll have to use 'env').