Use Ubuntu 13.10 instead of 13.04.

Just to keep up-to-date.