Add support for binary protobuf representation.

Default to using binary TESLA manifest files. If a textual format is required, pass the '-S' argument to `tesla analyse`.

This might help our instrumentation times.