Also, can anyone recommend a good video editor (software, not you Tibor)? Particularly one that allows you to use animation?
Depends what kind of animation you're looking to do.
HitFilm Express is a good free video editor.
Also, DaVinci Resolve has a free option as well.
Prior experience with other video editing software will help with the learning curve.
There are lots of tutorials for DaVinci Resolve on YouTube, if you're so inclined.