hierarchy: add a new way to check DBA-realizability via DPA

* spot/tl/hierarchy.cc, spot/tl/hierarchy.hh: Here.
* tests/core/hierarchy.test: Test it.
* bin/man/spot-x.x: Document SPOT_PR_CHECK.
* doc/org/hierarchy.org, NEWS: Update.
13 jobs for next in 135 minutes and 56 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #49651
alpine-gcc

00:25:12

passed #49652
arch-clang

01:11:54

failed #49653
arch-gcc-glibcxxdebug

01:10:45

passed #49650
debian-gcc-snapshot

01:04:31

passed #49648
debian-stable-gcc

00:31:37

passed #49649
debian-unstable-gcc-coverage

00:44:08

88.7%
failed #49656
debpkg-stable

01:56:59

failed #49657
debpkg-unstable

01:25:09

passed #49654
mingw-shared

00:15:20

passed #49655
mingw-static

00:13:00

passed #49658
rpm-pkg

00:51:25

 
  Publish
skipped #49659
dput
publish-rpm
skipped #49660
dput
publish-unstable
 
Name Stage Failure
failed
arch-gcc-glibcxxdebug Build
No job log
failed
debpkg-stable Build
No job log
failed
debpkg-unstable Build
No job log