packaging/doc: python devel package added