Update Tezos to v10

[sskeirik]

This PR updates the Tezos submodule from v7 to v10 and also fixes some build issues that I had on OSX.

Makefile

• build: fix build command parsing on OSX by removing some spaces/adding extra quotes
• build: simplfy kompile invocation: only set needed options

Tezos Submodule Build

• build: install rustup in CI container for later tezos
• tezos: bump from v7 to v10 (current version, but will probably be upgraded soon)

K-Michelson

• expand parser to support new pair syntax (required for cross compatibility test harness support)
• update internal list syntax to avoid ambiguity due to new pair syntax
• add tests for new pair syntax
• fix cross test harness to support new pair syntax
• disable 2 tests that do not seem to be compatible with tezos v10
• update proof tests to use new internal list notation

NOTE: We probably do not support all features of v10. We should figure out what features are missing at some point.

[sskeirik]

Current status: sub int timestamp 03/04 cross test broken for some unknown reason

[sskeirik]

Edit: one of those two tests is disabled upstream; I suspect the other was broken by an update to the underlying VM because the VM seems to give different results than it used to. I have disabled those tests currently.

[sskeirik]

@ehildenb This PR is ready for review now.

[sskeirik]

@tothtamas28 Do you think you are familiar enough with this repo to review a build system change? If you think you are up to it, I would be really appreciative. If extra help is needed, I would be happy to walk you through the build system.