Update docs

- Change filename
- Chage URL of Travis-CI badge