Upgrade starter kit submodule (#2995)
Upgrade starter kit submodule (#2995)

This is to merge in a bugfix that affects running proofs using the
run-cbmc-proofs.py script.
wcs1only/s2n,awslabs/s2n,wcs1only/s2n,awslabs/s2n,PKRoma/s2n,PKRoma/s2n,PKRoma/s2n,PKRoma/s2n,wcs1only/s2n,awslabs/s2n,wcs1only/s2n,PKRoma/s2n,awslabs/s2n,PKRoma/s2n,wcs1only/s2n,wcs1only/s2n,awslabs/s2n,PKRoma/s2n,PKRoma/s2n,wcs1only/s2n,wcs1only/s2n,awslabs/s2n