Added rules to fetch and extract a SAGE archive

Our rules should be made architecture- and OS-dependent.
Only x86_64 archives are currently being fetched.
Added sage-opt to run LLVM's opt with SAGE

SAGE's shell sets a bunch of environmental variables which are necessary
for using SAGE's Python libraries. sage-opt is used run opt with these
variables set.