fix hackage badge link.