Add documentation for options draw_mouse, framerate, and video_size.

In particular, fix trac ticket #1314.