Bppy

Minor yet important update which involves an internal optimization of the DFS - thanks zisserj!

1.0.0-updated
This release introduces 2 main updates:

* Sync statements are now defined using the `bp.sync` class. See examples and docs for more info.
* Adding the ability to define and analyze probabilistic systems using PRISM integration, a work by zisserj. The ability to execute such systems will be added soon.

Additionally, some minor fixes and updates were made.

Updates:
* Creating ``RichEventSelectionStrategy`` class based on [Executing Scenario-Based Specification with Dynamic Generation of Rich Events](https://www.wisdom.weizmann.ac.il/~dharel/papers/CCIS2019RichEvents.pdf) and updating ``SMTEventSelectionStrategy`` to be the same, with the difference that b-threads are continued if the selected assignment is either requested or waited for.
* minor updates in the ``BPEnv`` class
* More examples are added to the docs.

Some minor updates:
- Speed up``DFSBProgramVerifier`` implementation.
- Adding Dockerfile and dicker hub [repository](https://hub.docker.com/r/tomyaacov/bppy-docker).

We publish the ``bppy.analysis`` package based on current research in this release.
BProgram verification can be performed in 2 ways:
- DFS - using the ``DFSBProgramVerifier`` class. see [tutorial](https://bppy.readthedocs.io/en/latest/Examples/hot_cold_verification.html) for more info.
- Symbolically - using the ``SymbolicBProgramVerifier`` class. see [tutorial](https://bppy.readthedocs.io/en/latest/Examples/dining_philosophers_verification.html) for more info.

This release has two major contributions:
* publishing OpenAI gym integration to learn a BProgram as a gym environment (see [example](https://bppy.readthedocs.io/en/latest/Examples/bp_gym_env.html) for more details).
* Comments and explanation added for the [examples](https://bppy.readthedocs.io/en/latest/Examples/examples.html) in the documentation.

Some documentation updates.