@next example contracts should be updated now that tx.locktime is an integer

[mr-zwets]

The mecenas-simulating state example contract uses tx.locktime and should be updated with the @next version now that tx.locktime is of type int instead of bytes4.