Merge branch 'feature/refactor-install-script-generation-edit' into 'master'


Closes #1037 and #1021

See merge request !2709

(cherry picked from commit 559fcc21)

7ea7a7c1 [bin][util][common] Make util a package and write basic functions into
ceaa8d30 [bin][util][moduleinfo] Rename script of dune-module information
7b653245 [bin][util]->[bin] Reconstrcut folder (move scripts to bin) and adapt imports
8d8ec200 [bin][util][writer] Add script to write install scirpt in different languages
3c4dd414 [bin][util][installscript] Add script to write helper function to make install script
7fe619e6 [bin] Rename, move and improve make_installscript, which is used to make an install script
993abbcc [bin][extractModule] Delete shell and provide new extract module script
5 jobs for !2751 with cherry-pick-559fcc21
latest detached
Status Name Job ID Coverage
manual full-dune-2.7-clang
manual full-dune-2.7-gcc
manual full-dune-master-gcc
manual minimal-dune-2.7-gcc
  Downstream Modules
created trigger lecture