Compatibility with IA-1.0

[lbenet]

No description provided.

[Kolaru]

I had done some work on this as well, mostly through search and replace through the whole repository.

I have merge the two version and put it in the kolaru_IA1.0 branch. You may consider integrating to this one if you thing it is helpful (I don't have time to look in more detail for now).

The main difference is that:

• I use SVector internally for the models, and still parametrize the type on its length
• I used AbstractVector{<:Interval} to replace IntervalBox where possible

[lbenet]

Thanks Benoît for the efforts and the ideas; I like both of them. Currently, I'm now in the "validated" integration part, which I am moving to a submodule (it is sort of a separate thing), so if you want to push your suggestions, please do so.

[lbenet]

(I can also incorporate them, whenever I also find the time.)

[Kolaru]

I have added my changes. There are some tests failing that I don't have time to look at right now, but (normally) I fixed all type errors.

[lbenet]

Thanks a lot @Kolaru for including your changes; I'll take some time tomorrow (or the day after) to see what happens with the tests.