Generation of Boltzmann spec has been moved from Python program (genBoltzCfg)
to a wrapper shell script (genBoltzCfg.sh)