¿Cómo se cambia el nombre de una base de datos MongoDB?

Podrías hacer esto:

db.copyDatabase("db_to_rename","db_renamed","localhost")
use db_to_rename
db.dropDatabase();

Nota editorial:este es el mismo enfoque utilizado en la pregunta en sí, pero ha demostrado ser útil para otros independientemente.