Added support for saving/loading 'animate' option.
[drlaunch] / README