update documentation, TravisCI config