sagelib: spkg cleanup
toplevel: dist env. suboptimal..