Tyler Public Library parking lot closed for repair