Prevent MongoDB with measurements from filling up by erasing it before playing back a dump file. (#255)
Remove forgotten debug message. (#255)
Disabling host-related warnings when opening a remote shell. (#255)