prepopulate some packages even when not building for test suites
prepopulate some packages even when not building for test suites

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script