Disable getting coq from apt on travis

While we're waiting for
https://launchpad.net/~ezyang/+archive/ubuntu/coq-git to build precise,
we can build coq ourselves.