Patch cloud-init on Ubuntu 12.10.

Patch to change default username from "ubuntu" to "ravello".
This became a config option in cloud-init 0.7.1 but there
is no way to set it in 0.7.0.