Remove /docs from Docker builds

[schlagelk]

Remove the /docs directory from the Docker container when building as none of that is necessary for Mariachi execution