Packages from the vendor storm2k

storm2k/sagextras