Check whether ESBMC-Python-CPP works for the Amazon repos

[lucasccordeiro]

https://github.com/search?q=topic%3Apython+org%3Aawslabs+fork%3Atrue&type=repositories
https://github.com/search?q=topic%3Apython+org%3Aaws+fork%3Atrue&type=repositories

[sshivaji]

@hunterbrightdesign Try this on a few files and see what happens :)