add readme to prod releases

References #245


Former-commit-id: c709c23

Author: hjwilli

release/generate_production_release.sh

@@ -19,6 +19,8 @@ rm $PROD_ZIP_FILENAME
 mkdir -p "${PROD_BUILD_DIR}/data/datasets/user"
 mkdir -p "${PROD_BUILD_DIR}/config"
 
+cp release/userReadme.txt "${PROD_BUILD_DIR}/readme.txt"
+
 cp data/datasets/user/myDataset_metadata.json.example "${PROD_BUILD_DIR}/data/datasets/user"
 cp data/datasets/user/readme.md "${PROD_BUILD_DIR}/data/datasets/user"