Update thesaurus RSS feed to point to Github instead of sourceforge.

Github "Error: blob is too big" may happen on large thesaurus. In that case,
publish the list of thesaurus in a media server and overrides the config-gui.xml
/repository/thesaurus feed URL for direct HTTP access.