Updated the fetchInfoGlue target to fetch InfoGlue from GitHub instead of infoglue.org.