minor: adding mongodb_server dir to cleanup for jenkins