Migrate some reasonable default values from pants.ini into 'defaults' in the pants source