variable dockerfile name for docker-publish

[dennisvang]

To support the different dockerfile filenames used in various repos, we should make the filename variable.

The recommended filename is Dockerfile, but variations are possible.

For example, the FDP uses Dockerfile.build (a multi-stage build file).