Add Travis-CI integration; haddock upload script.