[PATCH 12/19] buildman: Replace the Options column with config name