spruced up logout.php. in theory, it's done, but might not be yet