Doc and Travis updates [ci skip]