[travis] Try using GMP 5.0