INSTALL tweaks
Bump Sage for 0.9.5a