Add MLabs projects to Builder Tools

[klntsky]

Checklist

• I have read the How to Contribute.
• I have read the Builder Tool Requirements
• I have run yarn build after adding my changes without getting any errors.

Builder Tool addition

• Title: ply

• Description: A helper library for working with compiled, parameterized Plutus Scripts

• Website: https://github.com/mlabs-haskell/ply

• Title: ply-ctl

• Description: Type-safe PureScript interfaces for ply's typed-script envelope for use with cardano-transaction-lib

• Website: https://github.com/mlabs-haskell/ply-ctl

• Title: purescript-cip30

• Description: PureScript interface to Cardano wallets via CIP-30

• Website: https://github.com/mlabs-haskell/purescript-cip30

• Title: purescript-cardano-serialization-lib

• Description: Purescript wrapper for cardano-serialization-lib

• Website: https://github.com/mlabs-haskell/purescript-cardano-serialization-lib

[rphair]

Since the content in the Dev Portal was initially settled I don't think we've created multiple listings for closely related projects from a single source. The added items are almost identically tagged so it would be overwhelming to these categories, relative to the number of portfolio items readers are disposed to see (about a dozen in each category).

Unfortunately the common root https://github.com/mlabs-haskell isn't useful as a common landing page because of the number of repos & lack of categorisation there. Would it be possible to create a landing page to showcase this group & then we could provide a single link there based on a broad description?

(discussion note: we already have plutip although it's well situated on its own due to the testing category (tags: ["haskell", "testing"])

[fill-the-fill]

Also build failed, please run it locally to check for any errors

[rphair]

@klntsky - #1171 (comment) is because neither of the tags getstarted or library, supplied to every one of these projects, exists for the Builder Tools portfolio. @fill-the-fill's suggestion to test in a local build is 💯 & you can also check src/data/builder-tools.js for valid tags to use in your final submission.