Fix broken links to paths in repo in READMEs. Refs #251.

The links to the copilot-libraries and examples directories in the repo
in two READMEs were broken as a result of a repo reorganization.

This commit corrects those links.

[ci skip]

Author: ivanperez-keera

copilot-language/README.md

@@ -5,7 +5,7 @@ Copilot-language contains the actual embedded domain specific language that
 Copilot provides to its users. It comes with a series of basic operators and
 functionality, typically enough for most applications. Extended functionality
 is provided by the
-[copilot-libraries](https://github.com/Copilot-Language/copilot-libraries)
+[copilot-libraries](https://github.com/Copilot-Language/copilot/tree/master/copilot-libraries)
 module.
 
 Copilot is a runtime verification framework written in Haskell. It allows the

copilot/README.md

@@ -76,7 +76,7 @@ have trouble building/installing.
 ## Example
 Here follows a simple example of a heating system. Other examples can be found
 in the [examples
-directory](https://github.com/Copilot-Language/copilot/tree/master/examples)
+directory](https://github.com/Copilot-Language/copilot/tree/master/copilot/examples)
 of the main repository.
 
 ```haskell