[boost] Library proposal: odeint