misc bugs

[msprotz]

from slack:

FYI, everest script is slightly unhelpful on OSX: when it suggests to install scons, brew install scons results in an error, while pip3 install -U scons works... just for others who may have run into the same thing
1 reply
protz < 1 minute ago
it also doesn't check that wget is installed

[msprotz]

it also doesn't invoke gmake instead of make for building HACL*
doesn't check for brew install make
doesn't check for brew install gnu-time