Alpha/RPCs: rename field labels in Michelson typechecker output

This is a change in field names in the Michelson typechecking RPC output.
A simple solution for third party tools to handle the change is to
recognise both field names during the protocol update period.