v0.3.1

Updates to the generated Solidity output:

• Update syntax for Solidity v0.4.23
• Output as library instead of contract, to avoid need for instance #3