Cocoda 0.9.0

• Completely rewritten Mapping Browser. Now includes a list of Concordances, Mapping Search, and the Mapping Navigator (which is basically what Mapping Browser was before). (#231, #368, #116, #373, #381, #380, #378, #382)
• Local mappings now have URIs (in the form of urn:uuid:...). (#356)
• Some changes that improve the subjective performance of the tool.
• Some behind-the-scenes changes. (#352, #344, #348)
• Lots of small other fixes and adjustments. (#303, #379, #374, #375, #383, #384)