Add ConfigManager::getValue for integer

Also make ConfigManager::getValue const.