cleanup Library builds

[Frank Löffler]

Libraries in ExternalLibraries typically leave their build around. In some cases this can take up quite a lot of space - per configuration. E.g. for HDF5 this is about 800MB.

In most cases a 'make clean' after 'make install' would still leave the used source around, but safe most of the space. Another possibility would be to remove the unpacked source completely. I tested the first approach with HDF5 (one one machine), successfully. To test it yourself, uncomment the 'make clean' lines in the HDF5.sh script.

Keyword:

[Erik Schnetter]

We should instead remove the complete build directories; they are (in most cases) not used afterwards.

[Erik Schnetter]

Implemented, tested, and committed for HDF5. The GSL implementation is currently being tested by Frank. All other external libraries should be updated later as well.

[Frank Löffler]

I am working on LORENE.

[Frank Löffler]

GSL, HDF5, libjpeg, LORENE and lua are done, thorns like curl, flickcurl, libxml2 and zlib not (leaving them to you Erik) - and probably more. Those are only the thorns I use.

[Erik Schnetter]

Done.