remove obsolete and unused docker directory

Created by: jmitrevs

Description

This removes an old unused directory

Type of change

• Other (Specify) - repository cleanup

Tests

Should not affect any tests

Checklist

• I have read the guidelines for contributing.
• I have commented my code, particularly in hard-to-understand areas.
• I have made corresponding changes to the documentation.
• My changes generate no new warnings.
• I have installed and run pre-commit on the files I edited or added.
• I have added tests that prove my fix is effective or that my feature works.