Working. Staff done in Munich.

Still need to add the generation of libglpk.so .