Training with a specification

Warning

The Python bindings are not yet documented, apologies. See the [Vehicle tutorial](https://vehicle-lang.github.io/tutorial/) for details of how to use them.