General improvements

Improvements in this release:

• Script to build a Docker container. This is more to play with Docker than for any practical reason.
• Improve on the discovery reaction time.
• Add a configuration module instead of duplicating one each time. That module will likely require more work, API is not necessarily stable yet.
• Minor CSS fix for configuration pages (add style for entry elements in table).