fix(docker): stick versions for klee and its extra tools

[LinerSu]

No description provided.

[codecov]

Codecov Report

Merging #129 (ddec0a3) into master (a0250fb) will decrease coverage by 0.10%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #129      +/-   ##
==========================================
- Coverage   95.41%   95.31%   -0.11%     
==========================================
  Files         160      160              
  Lines        4950     4950              
==========================================
- Hits         4723     4718       -5     
- Misses        227      232       +5     

Impacted Files	Coverage Δ
...re_lookup/aws_byte_cursor_compare_lookup_harness.c	87.50% <0.00%> (-12.50%)	⬇️
.../byte_buf_eq_c_str/aws_byte_buf_eq_c_str_harness.c	94.28% <0.00%> (-5.72%)	⬇️
...ahorn/jobs/byte_buf_cat/aws_byte_buf_cat_harness.c	96.15% <0.00%> (+3.84%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update a0250fb...ddec0a3. Read the comment docs.