They've used Hugin[0] before for stitching photos from previous missions. Not sure if they used it here but I very much doubt it's a manual process.

[0] http://hugin.sourceforge.net/