Extensions homogenization, clened up.

Rebased and cleaned up version of extension homogenisation. I will give some comments that should be fixed before merge now.
As I told you already, move this to [Ocsigen_lib_base].