toplevel: more checksumming
toplevel dist fix
python-sage: singular check
toplevel deps.in cleanup