Convert Travis version numbers to strings