Travis: set OPAMVERBOSE

Travis times out if there is no output for 10 minutes, which happens
during installation of core_kernel. Setting OPAMVERBOSE will avoid this.