Updated the fetchInfoGlue target to fetch InfoGlue from GitHub instead of infoglue.org.
Merge pull request #80 from peterjaric/master

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