Horus-compile

Fix of not opting unused functions out

1. horus-compile version is printed when -v is invoked.
2. Storage variable annotations (for now felt-only arguments and return types are supported).
3. New error messages.
4. Storage variables in the JSON and clean-up of the JSON.
5. New syntax for return variables in annotations.

v.0.0.3
1. Return variables
2. Compile-time simplification

1. Logical variables.
2. Type checking in the assertions.
3. Monkey patching StarkWare's starknet-compile.
4. Moved to `&&`, `||` and `!`