Formalize MLCube interface for FL

[danieljanes]

As suggested by @msheller here, it'd be helpful to MLCube authors interested in federated {learning, evaluation} to follow a formal interface description. Having a formal interface specification would also allow us to write tooling, for example, to automatically assess compatibility between a given MLCube and the FL framework intending to run it.