Check OTP version on Travis CI

This is a small fixup for 49db66e.