Improve legibility of `bdd_support` (earlier `bdd_varprofile`)

[ssoelvsten]

It is not clear, that Adiar has support to obtain all variables in a BDD or ZDD.

Tasks:

• BDD:
  • Move bdd_varprofile up next to bdd_minvar and bdd_maxvar in the BDD API.
  • Rename bdd_varprofile into bdd_support.
  • Add a new overload bdd_support(f) that returns a bdd cube (see also: Add bdd_iscube and bdd_cube #533).
• ZDD:
  • Move zdd_varprofile up next to zdd_minvar and zdd_maxvar in the ZDD API.
  • Rename zdd_varprofile into zdd_support.
  • Add a new overload zdd_support(A) that returns a zdd point (blocked until Add zdd_ispoint and zdd_point #571 is resolved).

Additional context
This was noticed by Anna Blume Jakobsen while browsing through the documentation.

[ssoelvsten]

Doing this, we can also add bdd_varprofile in the way it is used in BuDDy, i.e. where you get to read through the levels file.