[travis] The GMP package name no longer has a version number in newer Ubuntu releases