Bump awslc. (#1435)

Author: andreistefanescu

s2nTests/docker/awslc.dockerfile

@@ -7,11 +7,11 @@ WORKDIR /saw-script
 RUN mkdir -p /saw-script && \
     git clone https://github.com/GaloisInc/aws-lc-verification.git && \
     cd aws-lc-verification && \
-    git checkout 7f648fffe7a1f1097171279001ddab359a5749ab && \
+    git checkout e63a49994e6328911b4c9264b461a4e0a92b8089 && \
     git config --file=.gitmodules submodule.src.url https://github.com/awslabs/aws-lc && \
     git submodule sync && \
     git submodule update --init
 
 COPY scripts/awslc-entrypoint.sh /entrypoint.sh
 ENTRYPOINT [ "/entrypoint.sh" ]
-CMD [ "/bin/bash" ]
+CMD [ "/bin/bash" ]

s2nTests/scripts/awslc-entrypoint.sh

@@ -9,7 +9,5 @@ cp /saw-bin/abc bin/abc
 export PATH=/saw-script/aws-lc-verification/SAW/bin:$PATH
 export CRYPTOLPATH=/saw-script/aws-lc-verification/cryptol-specs
 
-./scripts/build_x86.sh
-./scripts/build_llvm.sh
-./scripts/post_build.sh
-./scripts/run_checks.sh
+./scripts/entrypoint_check.sh
+