Remove legacy CI docker/script files (#75)

Motivation:

Now that we have cut over to GitHub Actions we can remove files
supporting the old workflow.

Modifications:

Remove docker and stubbed-out script files.

Result:

Nothing should change because GHA is now used as CI.

Author: rnro