Shrink redis again, add more versions from src tars

This pulls the source tars from download.redis.io.  The size change is down to ~98mb from 175mb.