sage-main updated 2013-05-10 main library of sage, after installation located in $ROOT/devel/sage-main