You download a compressed file from the link mentioned above. Decompress it and you would get a batch file. That is what is migration tool. Read readme txt that comes along. It would guide you in migration process.
Do check premigratiin steps as well.
Hope it helps.
Regards,
Swaroop