change buildscript to use github mirror

Sourceforge can be unreliable at times and gives
weird errors, and since we already depend on github
anyway for the sbcl source, we might as well change
the sourceforge dependency from maxima to a github
mirror.