Add docs about the linter and travis to the contributing guide