Nodepool configuration

The services configuration are defined in the static_config/ folder. There is one dhall file per service, and you need to run make after making a change.

There are how-to on the doc directory to explain:

• how-to-add-diskimage.md
• how-to-architecture.md