Edits to README and travis-ci config