"Everybody was dreaming of this commit log: - factorization of makefiles for libCGAL, libCGALimageIO, libCore, and libBenchmark. - SONAMEs for everybody." Add: - fix platforms without SONAME, - unify Benchmark/src/Benchmark/makefile with other makefiles.