Docs update: Plutus
Based on Aiken's Hello WOrld example. TODO: I couldn't get the redeem contract to be accepted by the network. We need to figure out why and update this example. Replaces the plutus part of #307