Configure CircleCI to ignore the documentation branch