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. Mainly I want to merge this now for a preview release.