WIP: Switch travis-ci build to 64 bit ROOT binaries