Update documentation, and travis file