Logout functionality

Changed logout.html into logout.php. Logout.php deletes session and
displays logout page. All log out links on site are changed from
logout.html to logout.php