Mintlify, a startup that recently raised $2.8 million in seed funding, is applying AI to the perennial challenge of maintaining software documentation.