Changed Makefile to download SAGE

Makefile now downloads and uses a custom copy of SAGE.
The architecture and OS variables which specify which SAGE package
is to be downloaded are currently hardcoded to x86_64 and Linux 8.04.