Doc: Use codeship.io instead of travis-ci.org.