mettre sage à jour vers 8.6

Demande Frédéric Chapoton :

La version installée date de janvier 2017. La dernière version disponible de sage est la 8.6, sortie il y a une semaine environ. Je suppose qu'il va falloir compiler, parce que les binaires disponibles ne doivent pas bien coller.

• Installation Sage
• Installation du kernel Jupyter
• Annonce aux utilisateurs