Creation of 4 libraries: piplib_sp, piplib_dp, piplib_gmp, piplib_osl_int

I need some feedback on this.

After discussion, I will:
- apply coding style :)
- bring back default names (pip_solve, PipQuast, PipList, ...)