Tag ValidatedNumerics v0.0.2

Generic linear algebra routines now work with interval matrices (i.e., matrices whose entries are intervals).

Also, the monolithic file was split into several files, grouped by functionality.