Adding the hackage badge