Function finalize_session_directory

pub fn finalize_session_directory(sess: &Session, svh: Option<Svh>)

This function finalizes and thus ‘publishes’ the session directory by renaming it to s-{timestamp}-{svh} and releasing the file lock. If there have been compilation errors, however, this function will just delete the presumably invalid session directory.