Fix broken links to Travis in READMEs. Refs #251.

The links to the Travis badge and/or Travis CI location for Copilot in
the READMEs (including the top level README) have been either outdated
or broken as a result of several repo reorganization processes.

This commit updates all links to Travis resources in the READMEs. All
READMEs point to the same locations on Travis, since compilation and CI
applies and is carried out on Travis CI for the whole project as an
indivisible unit.

[ci skip]

Author: ivanperez-keera

copilot-c99/README.md

@@ -1,4 +1,4 @@
-[![Build Status](https://travis-ci.com/Copilot-Language/copilot-c99.svg?branch=master)](https://travis-ci.com/Copilot-Language/copilot-core)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 
 # Copilot: a stream DSL
 Copilot-c99 implements a C99 backend for Copilot, producing high quality code

copilot-core/README.md

@@ -1,4 +1,4 @@
-[![Build Status](https://travis-ci.com/Copilot-Language/copilot-core.svg?branch=master)](https://travis-ci.com/Copilot-Language/copilot-core)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 
 # Copilot: a stream DSL
 The core language, which efficiently represents Copilot expressions.  The core

copilot-language/README.md

@@ -1,4 +1,4 @@
-[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://travis-ci.com/Copilot-Language/copilot-core)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 
 # Copilot: a stream DSL
 Copilot-language contains the actual embedded domain specific language that

copilot-libraries/README.md

@@ -1,4 +1,4 @@
-[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://travis-ci.com/Copilot-Language/copilot)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 
 # Copilot: a stream DSL
 User-supplied libraries for Copilot, including linear-temporal logic,

copilot-theorem/README.md

@@ -1,4 +1,4 @@
-[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://travis-ci.com/Copilot-Language/copilot)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 
 # Copilot Theorem
 

copilot/README.md

@@ -1,6 +1,6 @@
 # Copilot: Stream DSL for hard real-time runtime verification
 
-[![Build Status](https://travis-ci.com/Copilot-Language/Copilot.svg?branch=master)](https://travis-ci.com/Copilot-Language/Copilot)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 [![Version on Hackage](https://img.shields.io/hackage/v/copilot.svg)](https://hackage.haskell.org/package/copilot)
 
 Copilot is a runtime verification framework written in Haskell. It allows the