Text this: Algorithmic lie theory for solving ordinary differential equations