Use DNS name for web mirror, not hard-coded IP
Add trailing \n
HEAD should track -proposed repo

Use the grizzly-proposed repo for development, not the tagged
release repo
Merge pull request #86 from rickerc/use_grizzly-proposed

Use grizzly proposed