Roto done in Nuke, tracked in Mocha Pro, and overlay done in Adobe After Effects.