Cleanup hierarchy

I found a good way of removing most of the code duplication from the current Docker container mess.

fenicsproject/base has the import from phusion, and all of the end-user niceties, default ENTRYPOINT and CMD. Now only one place to bump phusion or adjust end user experience is here.
fenicsproject/dev-env-base from fenicsproject/base, contains version numbers. Now only one place to bump version numbers. fenics.conf also comes in here, so only one version to maintain.
fenicsproject/dev-env-{mod} then come from dev-env-base. They only have an apt-get + compile commands.
fenicsproject/stable will have an environment variable that adjusts the behaviour of fenics.conf at runtime, rather than a second version.

The top end images build in much the same way as now.

Comments (1)