AnimaticaReforged

This is an unofficial forge port of Animatica.

Difference:

1. integration with Embeddium, you can turn on/off custom animation in its video setting.
2. some codes optimization, the biggest optimization is the removal of the validity check for Identifier initialization as it is very expensive.