Travis-CI badge added; documentation updated