Merge branch 'release-0.5.11'
DB dumps are now automatically gzipped and gunzipped during import/export.
Version bumped from  0.5.11 to 0.5.12
Merge branch 'release-0.5.12'