drop mongodb-integration subproject for now.