Add badges.

See f7715048. Using .png is supported by github, while .svg is not.