okay. What is the right syntax in pants.ini to set worker count and heap size?