Added PyCharm project
Renamed z3c -> as
Overwrite option
Not needed
Build infrastructure
Testing stuff
Not needed
.
Fix a typo
Raise version