travis: use 64bit wxGTK

travis-ci moved to 64bit. http://about.travis-ci.org/blog/august-2012-upcoming-ci-environment-updates/