Merge pull request #1947 from input-output-hk/jc/fix-cddl-link

Fix cddl link in formal spec

When we moved the CDDL files from the shelley-spec-ledger package
to the shelley-spec-ledger-test package, we did not update the
link in the formal spec.

shelley/chain-and-ledger/formal-spec/cddl.tex

@@ -6,7 +6,7 @@ \section{CBOR Serialization Specification}
 CDDL (RFC 8610 \cite{rfcCDDL}).
 
 The CDDL specification is located at
-\url{https://github.com/input-output-hk/cardano-ledger-specs/tree/master/shelley/chain-and-ledger/executable-spec/cddl-files}.
+\url{https://github.com/input-output-hk/cardano-ledger-specs/tree/master/shelley/chain-and-ledger/shelley-spec-ledger-test/cddl-files}.
 
 % TODO - Include the CDDL spec inline?
 % \lstinputlisting[backgroundcolor = \color{lightgray}]{../executable-spec/cddl-files/shelley.cddl}