Update boxes to Ubuntu 13.10

It's the latest and greatest.

See #86