adding session database performance details output
Merge branch 'patches/separate-sessions-db' into MOODLE_26_STABLE-local
make the session db performance printing optional
make the session db performance printing optional
Merge branch 'patches/separate-sessions-db' into MOODLE_26_STABLE-local