added badges for hackage plus travis