Eldev 1.4

Overview of changes in this release:

• New loading mode: compiled-on-demand for large projects with slow enough byte-compilation.
• Several more functions for generating debugging output using Eldev.
• Several fixes, performance and usability improvements for command docker. In particular, if “outer” Eldev generates colorized output, so will the called process inside Docker container.
• Other minor assorted fixes.