updated build system

scripts/docker_common.sh

@@ -28,9 +28,12 @@ popd
 
 if [ "${DOCKER_CREATE_ONLY}" != "1" ]; then
   docker run -td \
+    --env DEVELOPER_PRIVATE_KEY=${DEVELOPER_PRIVATE_KEY} \
+    --env DEVELOPER_PUBLIC_KEY=${DEVELOPER_PUBLIC_KEY} \
     --env MY_NUM_JOBS=${NUM_JOBS} \
     --name ${DOCKER_CONTAINER} \
     -u $(id -u):$(id -g) \
+    -v /.ci/${PROJECT_NAME}:/.ci/${PROJECT_NAME}:r \
     -v ${PROJECT_SOURCE_DIR}:${PROJECT_SOURCE_DIR}:rw,z \
     -w ${PROJECT_SOURCE_DIR} \
     ${DOCKER_TAG} || exit 1