Generate a master configuration from an ini file
Instead of directly providing a cfg
and tac
file, dune-buildbot
should generate these from a simple configuration ini file. The accepted keys in that inifile should be well documented in a central place.