This is in a draft state pending the actual ci-flatdeb-builder repository creation & the resulting filling of the TODOs in these changes, but other than that, this should be essentially ready. (Would like feedback here first, actually, on the configuration file format and such.)
