travis: fix macOS builds
travis: fix macOS builds

Don't explicitly set the jdk version (because the install script doesn't like some (EOL'd) versions) but use the default installation of the osx_images.

LearnLib/learnlib,LearnLib/learnlib,LearnLib/learnlib