Mixpanel People Export

Export mixpanel people queries to CSV.

This extension adds an "Export Group" button to Mixpanel People. When the button is pressed, the current mixpanel view will be downloaded as a CSV. Big thanks to the Export Mixpanel People bookmarklet (https://github.com/FGRibreau/mixpanel_export_people).