A distribution of Leinigen that can be embedded into packages and other tools