Project Filelist for Coquelicot

Version 2.0:
- removed "is_derive" as a notation for "derivable_pt_lim"
- renamed some compatibility theorems from "_equiv" to "_Reals"
- introduced a hierarchy of number structures and topological spaces
- added complex numbers
- generalized "is_RInt", "is_derive", "is_domin", etc, from reals to arbitrary left-modules