Engineering software maker Autodesk Inc. has agreed to buy MaintainX, a firm focused on maintenance tools.