redpen-conf and travis config