clarify mongodump --out option