docs; travis-ci related updates