Feature/dataset editor

This is a half-baked dataset editor with good intentions. You can change a property's name and type. You can save these changes to the server. Right now augmentation is only working for map data but my next priorities are timeline and list augmentation. This code breaks DataSourceTransaction editing but that stuff is under development with our move to collapse Exhibits and Datasets. Mainly I want to merge this now for a preview release.