Add python3-ipmi to dependencies in doc and spec