kraken: usage of boost program_option for the configuration
kraken: adapt mock_kraken to the new configuration
kraken: add a comment for configuration
kraken: don't expose the vm attribute of Configuration
kraken: configuration is now const
Merge pull request #566 from kinnou02/refacto_config

kraken: usage of boost program_option for the configuration