As mentioned, the licensing issues with gif and unisys have resulted in it being removed from most free applications.
The new alternative to gif format is png format. Png pictures support transparencies, and mng files are the motion containing versions. Png format also support alpha channels (i.e. semi transparency)
Note that most web browsers do not support png transparency or animation, but do support plain png files just fine. I used dynamic png generation for a project a little while back and it worked just fine.