config.ini file, rename some parameters.

  - 'distribution' to 'default_distribution'
  - 'distributions' to 'allowed_distributions'
Release