Bueno yo tengo hecho un pequeño script en jQuery que realiza esa tarea. Me han señalado con mucha razón que tal vez no es lo mejor incluir una librería completa sólo para realizar algo tan sencillo, pero tiene la ventaja de que es un código corto y bien comprensible.
Cambiar la imagen de fondo aleatoriamente
Fijate en el código fuente de los demos que suelen dar una mejor idea. :)