firing the plugin.delete_plugin_data method when workspace is deleted; move borders from dash.css to separate stylesheets; minor improvements; minor version up 0.2.4