Update Dockerfile

Prevent creation of unnecessary Docker cache images (the ones that only echo something).