session_destroy() added

session_destroy() is added. Now user is not notified with a message when
log out.