I have used both tools, Avidemux nice free video editor comes with great features, there are also lots of other open source video editing tools which we can use to create custom whiteboard animation with ease

https://www.logoglaze.com/animated-video/