More robust version check for Sage

Instead of relying on parsing the sage banner, which is likely to break with changes in Sage output format, use the dedicated 'sage -v' command.

REVIEW: 128926