git mirror of COIN-OR BuildTools (see https://projects.coin-or.org/BuildTools)