CodeEditor: Learning to Edit Source Code with Pre-trained Models