Preparing for Leo 5.0-final: update release notes and documented sessions.

Leo build: 20141124095136
Leo 5.0-final: just before running the make-leo script.

Leo build: 20141124101406