Merge branch 'devel' into 'production'

playbooks/basic_configuration.yml

quick_build_role.sh

roles/common/defaults/main.yml

roles/common/tasks/build_tasks.yml

roles/common/tasks/main.yml

roles/dig_pack_controller/templates/Dockerfile

roles/edd_master_controller/tasks/main.yml

roles/edd_master_controller/templates/Dockerfile

roles/effelsberg_scpi_interface/templates/Dockerfile

roles/effelsberg_status_server/templates/Dockerfile

roles/fits_interface/templates/Dockerfile

roles/gated_full_stokes_spectrometer/templates/Dockerfile

roles/gated_spectrometer/templates/Dockerfile

roles/hdf5_writer/templates/Dockerfile

roles/pipeline_builder/tasks/main.yml

roles/skarab_pfb_controller/tasks/main.yml

roles/skarab_pfb_controller/templates/Dockerfile