Check the correctness of the downloaded files.

[Adriano Marques Garcia]

The inputs and libraries compressed files should have some mechanism to check if they were downloaded correctly, such as an MD5 hash check or other solution. For the cases of corrupted files, they should be downloaded again.