v0.4.13

What's Changed

• Implement devtools chrome extension by @chacha912 in #717
• Export devtools type by @chacha912 in #730
• Reflect interface changes of server DB sharding by @sejongk in #726
• Complement concurrent editing test cases in Tree by @sejongk in #721
• Update protobuf description in CONTRIBUTING.md by @hackerwins in #724
• Fix invalid tree conversion by @hackerwins in #719
• Fix multiple versions of prosemirror-model were loaded by @hackerwins in #728

Full Changelog: v0.4.12...v0.4.13