Merge branch 'develop' into 'develop'

src/main/python/Octeres/bitmask/bitmask_lite.py

src/main/python/Octeres/data_generation.py

src/main/python/Octeres/random_generation.py

src/main/python/Octeres/scripts/performance_run.py

src/test/python/test_random_generation.py

src/test/python/test_the_dragon.py