Better Dockerfile

Use a Docker ENTRYPOINT for more conventional initialization.

Fix a deadlock with multiple --target specifications.