City, contractor agree to dismissal of lawsuit over work at library