Replace Travis badge with CircleCI; update shields to svg