Adjust Travis-CI build to properly build Github Pull Requests We need to install a newer version of Ant Also checkout documentation-repository Invoke target "jenkins" to run all checks Switch to base image for Ubuntu Bionic