gif2ip is python script allowing you to split as much animations as you want in one go and also makes you a zip file with the png's, so you could use zip2animation to make animations ready for ...