[server][DBClientConfig] Add a new table arm_plugins

getArmPluginInfo() uses std::vector for returning data,
althogh other similar methods use std::list.
Hereafter I prefer vector than list, because
it is considered that the performance is better
(see also GitHub's issue #178).