Computer: Add support for arbitrary scripts

[ClemensLey]

We should make it possible for the developer to specify input and output scripts in smart contracts. This will enable advanced applications that cannot be currently built. For example one can create a smart object that can only be updated when some BitVM script evaluates to true.