vnc2swf creates flash movies from vnc streams.
vncrec records vnc sessions for later playback to a vnc client, but there is a 'transcode' plugin for vncrec files which allow conversion to movie formats (theres even a movie showing this done).
These don't in themselves offer facilities to annotate and edit your movie, but there's other tools to help with that.
© 2014, O’Reilly Media, Inc.
All trademarks and registered trademarks appearing on oreilly.com are the property of their respective owners.