Change Gregarius url in user agent

The original site, http://devlog.gregarius.net/docs/ua, is un-reachable now,
so replace it with my mirror repository on GitHub.
Publish version 0.7.0
Merge branch 'master' into subtree