Update links in Haskell haddock. Refs #251.

Some links to different repo locations in the Haddock comments that
accompany the code are outdated, and point to locations that have been
either outdated or broken as a result of several repo reorganization
processes.

This commit updates links in the code comments. Where a new version of
the file being mentioned did not exist in the current development
branch, the link has been adjusted to point to a working location using
the last known tag containing that file.

[ci skip]

Author: ivanperez-keera

copilot-libraries/src/Copilot/Library/Clocks.hs

@@ -6,9 +6,9 @@
 -- This library generates new clocks based on a base period and phase.
 --
 -- = Example Usage
--- 
--- Also see @Examples/ClockExamples.hs@ in the
--- <https://github.com/leepike/Copilot/tree/master/Examples Copilot repository>.
+--
+-- Also see @examples/Clock.hs@ in the
+-- <https://github.com/Copilot-Language/copilot/blob/master/copilot/examples/ Copilot repository>.
 --
 -- @
 --     'clk' ( 'period' 3 ) ( 'phase' 1 )

copilot-libraries/src/Copilot/Library/LTL.hs

@@ -14,8 +14,8 @@
 -- holds if @p@ holds at least once every four periods (3 transitions).
 --
 -- /Interface:/ See @Examples/LTLExamples.hs@ in the
--- <https://github.com/leepike/Copilot/tree/master/Examples Copilot repository>.
--- 
+-- <https://github.com/Copilot-Language/copilot/blob/v2.2.1/Examples Copilot repository>.
+--
 -- You can embed an LTL specification within a Copilot specification using the
 -- form:
 --

copilot-libraries/src/Copilot/Library/PTLTL.hs

@@ -6,7 +6,7 @@
 -- Provides past-time linear-temporal logic (ptLTL operators).
 --
 -- /Interface:/ See @Examples/PTLTLExamples.hs@ in the
--- <https://github.com/leepike/Copilot/tree/master/Examples Copilot repository>.
+-- <https://github.com/Copilot-Language/copilot/blob/v2.2.1/Examples Copilot repository>.
 --
 -- You can embed a ptLTL specification within a Copilot specification using
 -- the form:

copilot-libraries/src/Copilot/Library/Voting.hs

@@ -13,8 +13,8 @@
 --
 -- * <ftp://net9.cs.utexas.edu/pub/techreports/tr81-32.pdf Robert S. Boyer and J Strother Moore, \"MJRTY - A Fast Majority Vote Algorithm\", 1981>
 --
--- In addition, <https://github.com/leepike/copilot-discussion/blob/master/tutorial/copilot_tutorial.pdf An Introduction to Copilot> in
--- <https://github.com/leepike/copilot-discussion copilot-discussion> explains
+-- In addition, <https://copilot-language.github.io/downloads/copilot_tutorial.pdf An Introduction to Copilot> and
+-- <https://github.com/Copilot-Language/copilot-discussion copilot-discussion> explain
 -- a form of this code in section 4.
 --
 -- For instance, with four streams passed to 'majority', and the candidate stream
@@ -29,8 +29,8 @@
 -- 1            1            1            1            1            true
 -- @
 --
--- For other examples, see @Examples/VotingExamples.hs@ in the
--- <https://github.com/leepike/Copilot/tree/master/Examples Copilot repository>.
+-- For other examples, see @examples/Voting.hs@ in the
+-- <https://github.com/Copilot-Language/copilot/blob/master/copilot/examples/ Copilot repository>.
 
 {-# LANGUAGE RebindableSyntax #-}