Update to MD5 of official Singular 4.0.1 release tarball
download: follow redirects
Add boost and cmake packages

Fixes #1 and fixes #2