Integrate changes from Cardax

[bladyjoker]

Let's move most of the purs-bridge related code here:

• PlutusTx.Aux module
• Bridge module that introduces mkSumTypeIndexed
• Nix files that glues everything together

[bladyjoker]

That's done by #8