* Fix docker file builds to use debian * add a few more things to `.dockerignore` * remove unused `martin` from docker-compose.yml * delete unused arm64.Dockerfile This should also fix #1021