Use http://pgsql.tapoueh.org/sbcl/sbcl_1.2.0-1_amd64.deb in travis builds.