Move the note about -j prior to the code example
Move the note about -j prior to the code example

This helps someone following the tutorial avoid unpleasant surprises.

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