[website] Make the widget work on localhost.
Percent-encode arguments to example URL generator

Otherwise using characters like `?` will lead to a 404.
[website] update from issue 135
Ignore project-specific files.
Update INSTALL.md
Mention Read the Docs.

See issue #136.
Using Request for gittip vendor.
update Gittip badge on README

I renamed our team on Gittip from Shields.io to Shields.
Simplify default badge data setup.
Travis support through its json api, not png

If the PNG format (which we only used HEAD with) is rate-limited, as seems to be
the case considering issue #137, this should fix it. However, this is about
experimentation, since I have received little communication from them on those
issues.
[deploy] force add the font file.