Changed Picard iterations from Lipschitz to UniformlyContinuous. Tested iterations.
Created directory 'ode' for ODE solvers
Moved ODE solver files to ode/
Made BanachFixpoint.v compile
.
.
.
Merged master and UC (UniformlyContinuous)
Added the ode/ directory to SConstruct to be compiled