python/z3_example: implement 32-bit rotate operations
python/z3_example: implement 32-bit rotate operations

They are used in several CTF challenges.

fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared