Added haddock badge and reduce travis CI versions