Change PHP version nums in Travis to strings