Animation editor

This pr adds an AnimationEditor.
It still needs some graphic design.