Don't include picosat in test_tutorial5
Don't include picosat in test_tutorial5

It's one more dependency to have installed on the builders.

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