Added repy/posix model setup scripts. Small changes to make posix model work out of the box.
Added py framework for verifying APIs in C with an included example toy C library