copilot: List all Copilot packages in installation command in README. Refs #597.

The current installation instructions do not expose all packages,
meaning that users can only access whatever is re-exported by the
package copilot. This prevents users from accessing many key features of
Copilot, and from compiling many specifications.

This commit updates the manual installation instructions to include all
packages, thus exposing all Copilot modules and allowing specifications
that users write to compile.

Author: ivanperez-keera

copilot/README.md

@@ -112,7 +112,8 @@ Once the compiler is installed, install Copilot from
 [Hackage](https://hackage.haskell.org/package/copilot) with:
 
 ```sh
-cabal v2-install --lib copilot
+cabal v2-install --lib copilot copilot-core copilot-c99 copilot-language \
+    copilot-theorem copilot-libraries copilot-interpreter copilot-prettyprinter
 ```
 
 To test that Copilot is available, execute the following:
@@ -141,7 +142,8 @@ Once the compiler is installed, install Copilot from
 [Hackage](https://hackage.haskell.org/package/copilot) with:
 
 ```sh
-$ cabal v2-install --lib copilot
+$ cabal v2-install --lib copilot copilot-core copilot-c99 copilot-language \
+    copilot-theorem copilot-libraries copilot-interpreter copilot-prettyprinter
 ```
 
 To test that Copilot is available, execute the following: