Add integration test to CI that builds and compiles the example contract

[shonfeder]

As per https://github.com/informalsystems/themis-contract/pull/89#pullrequestreview-541175326

This will help ensure the documentation stays up to date, and provide end-to-end tests of the program and its fit with the various dependencies.