Interface ServiceOptionsAmino

Is this service deprecated? Depending on the target platform, this can emit Deprecated annotations for the service, or it will be completely ignored; in the very least, this is a formalization for deprecating services.

The parser stores options it doesn't recognize here. See above.