Add base_gefx_generator.py: script that constructs a .gefx file from JSON generated...