New format for otp release names in .travis.yml