to have optional copy in Docker (see https://stackoverflow.com/questions/31528384/conditional-copy-add-in-dockerfile)