A thorough reorganization of Leo's to-do list, preparing to release Leo 4.12b1.

Leo build: 20140824062415
Merge branch 'master' of https://github.com/leo-editor/leo-editor