tweak command lines
mongodb takes too much space by default

This resets the mongodb configuration to use less space, but we have to
recreate the lost data.

Easier solution would probably be to export+reimport afterwards, but
this works for now, and recreating the data wasn't the hard part.