SCC + varreplacer bogoprops are differently measured

Adjust.
Updating AWS scripts
Forgot to name the s3 key correctly
gzip the s3 file all the time, no matter what
Don't send stderr -- it's already been gzipped
Using folder that is GIT revision value
Removing useless test values for client
Build cryptominisat if it's not a test
Let's place the build script here, so I can pull from AWS
Default prefix for folder should be "results"
Refactoring AWS shutdown
Use lists of files, don't create on-the-fly

This way, we don't need to have the files on the server. Saves on space
on AWS. Only the client needs the files (which is in an AMI)