Fixing manglefile import to use github.
Updating manglefile instructions for github.
Improved clarity of manglefile help text.