tentative split of hierarchy.v

[affeldt-aist]

• put monads relying on probabilities in proba_hierarchy.v
• the goal is to reduce dependency on infotheo but a few files still use small utilities from infotheo such as ssrZ.v