Documentation and TravisCI setup