Rename operations for schema assignment

Current Situation

• The XML Editor offers the operations
  • reassign schema: this is used to reload the same schema file
  • assign another schema: this is used to assign a different schema file

Desired Behavior

• Both operations work in the same way as before, however, the use different operation titles:
  • reassign schema: assign a different schema file
  • reload schema: reload the same schema file