This function will, if necessary and allowed, download the compressed MNIST
data set and save it to .RData files using readMNIST. If the
compressed MNIST archives are available, it will convert them into RData
files loadable from within R. If the RData files are already available,
nothing will be done.