shields.io has been very unreliable and overloaded recently, so ease their load and use directly native badges where available.

Also, add some formatting to the pale README so that Github front page would look better.