Update doc; add travis-ci badge