Updated Redis version, Solr version; added fish2000 forks to math.txt; other updates