creating a copy of python modules that smack-verify depends on
variation of test.sh that uses the local (development) copy of smack-verify
moving executable files to bin dir to avoid cluttering this dir
shortened lines > 79 chars so they can be read and understood on my 80-col text editor
noted that the script we need to run is now in the bin dir, not the subproject root dir
shortened lines > 79 chars so they can be read and understood on my 80-col text editor
changed to manually force the SMACK conditional compilation path to be taken
moved executable smack-for-pthreads to bin dir with other executable programs
noted that the smack_for_pthreads script is now in the bin dir with the other scripts