Clearer documentation for DatabaseDumper
New documentation about "output_db"
The dump file can be compressed