Add debugging custom function to Prelude

[jonaprieto]

This PR adds a useful custom set of basic debugging functions to the Prelude. In addition, some warnings have been provided in case one forgets to remove them from the codebase.

The main functions are:

traceLabel :: Text -> Text -> a -> a
trace :: Text -> a -> a
traceShow :: Show b => b -> b
traceToFile :: FilePath -> Text -> a -> a
traceToFile' :: Text -> a -> a
traceToFileM :: (Applicative m) => FilePath -> Text -> a -> m ()

An example of how to use them is the following.

-- Typechecker.hs
...
checkStatement s = case s of
  StatementFunction fun -> StatementFunction <$> checkFunctionDef fun
  StatementForeign {} -> return s
  StatementInductive ind ->
     traceToFile "run.log" (ppSimple ind) $
     traceLabel "check inductiveTy" (ppSimple ind) $
     trace (ppSimple ind) $ do 
    ...

The output (with colors) looks like this (using debugTextToFile') :

juvix typecheck example.juvix
[debug] [./juvix.log]:
data T (A : Type) =
  c T
Well done! It type checks