tools/MRDscript; use division from future package of python

1 job for feature-t/MRD-script in 19 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Test Tools
passed #721329
test_tools

00:00:19