Feature/install script generator

This MR introduces a python script that generates an install script for a selected module, together with python functionality to get the dependencies of a module and the currenlty used versions, as well as automatic patch creation for unpublished commits and uncommitted changes.

These functionalities were originally contained in getusedversions.sh and extractmodulepart.sh. The first should not be needed anymore, while the latter has been reduced to not generate an install script anymore.

The generator script expects the module (for which an installation script is to be generated) to already be a git repository with a defined remote origin.

Relates #912 (closed), #921 (closed)

bin/util/getdependencies.py

 import os
 import subprocess
 
-# function to determine module name from module file
-def getModuleName(modulePath):
+# function to get the info related to the given key in a module file
+def getModuleInfo(modulePath, key):
     modFile = os.path.join(modulePath, 'dune.module')
     if not os.path.exists(modFile):
-        return None
+        raise RuntimeError("Could not find module file")
 
     with open(modFile, 'r') as modFile:
         for line in modFile.readlines():
-            line = line.strip('\n').split(' ')
-            if line[0] == 'Module:':
-                return line[1]
-    return None
+            line = line.strip('\n').split(':')
+            if line[0] == key:
+                return line[1].strip()
+    raise RuntimeError("Could not extract requested information")
+
+# function to determine module name from module file
+def getModuleName(modulePath):
+    return getModuleInfo(modulePath, "Module")
 
 # get the dependencies of a dune module located in the given directory
 def getDependencies(modulePath):