Plutus Playground is a lightweight, web-based environment for exploratory Plutus development