Change box: ubuntu:12.04 -> ubuntu:13.04 amd64

This is more suitable to docker.