Haddock: haddock-library release and Travis stuff

Updates submodule.