Modified README to match with other repo's. Refs #1

Author: fdedden

README.md

@@ -1,34 +1,22 @@
-Overview
-========
-This repo includes papers and technical reports on
-[Copilot](https://github.com/Copilot-Language/Copilot/), a stream (i.e.,
-infinite lists) domain-specific language (DSL) in Haskell that compiles into
-embedded C.  Copilot is similar in spirit to languages like Lustre.  Copilot
-contains an interpreter, multiple back-end compilers, and other verification
-tools.
+# Copilot: a stream DSL
+Repository containg reports and documentation on Copilot.
 
-Resources
-=========
+Copilot is a runtime verification framework written in Haskell. It allows the
+user to write programs in a simple but powerful way using a stream-based
+approach.
 
-A main starting point is the [Copilot
-website](https://copilot-language.github.io/).
+Programs can be interpreted for testing, or translated C99 code to be
+incorporated in a project, or as a standalone application. The C99 backend
+ensures us that the output is constant in memory and time, making it suitable
+for systems with hard realtime requirements.
 
-You can obtain the latest version of the Copilot tutorial
-[here](https://copilot-language.github.io/copilot_tutorial.pdf).
 
-Please see the files under the Examples directory in the
-[Copilot](https://github.com/Copilot-Language/Copilot/tree/master/Examples) for
-a number of examples showing the syntax, use of libraries, and use of the
-interpreter and back-ends.  The examples is the best way to start.
+## Further information
+For further information, install instructions and documentation, please visit
+the Copilot website:
+[https://copilot-language.github.io](https://copilot-language.github.io)
 
-Copyright, License
-==================
-Copilot is distributed with the BSD3 license. The license file contains the
-[BSD3](http://en.wikipedia.org/wiki/BSD_licenses) verbiage.
-
-Thanks
-======
-We are grateful for NASA Contract NNL08AD13T to [Galois,
-Inc](http://corp.galois.com/) and the [National Institute of
-Aerospace](http://www.nianet.org/), which partially supported this work.
 
+## License
+Copilot is distributed under the BSD-3-Clause license, which can be found
+[here](https://raw.githubusercontent.com/Copilot-Language/Copilot/master/LICENSE).