Automated docker images generation

Fixes #1 (closed).

These changes introduce a couple of things:

• a mecanism to build on-demand images if they don't exist in the registry.
• an extensible layer mecanism to incrementally create other images (for instance if we need to add fortran at some point).
• the documentation about how all this works.