kraken: usage of boost program_option for the configuration