[MNT] remove dockerfile (#648)

This dockerfile introduced by tschm is really no longer needed. We will
work on a modern .devcontainer setup

Author: tschm