Fix typo in Makefile.common comment (#211)

Thanks @lrstewart for spotting this!

Bump to version 2.10 (#197)

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>

Advance version to 2.9

This release of the starter kit adds a GitHub Action Workflow file that
runs CBMC proofs upon pull requests

Advance version to 2.8.8

Advance version to 2.8.7

Advance version to 2.8.6

Advance version to 2.8.5

Advance version to 3.8.4

Advance version to 2.8.3

Advance version to 2.8.2