REL: download updated binaries from GitHub in `get-stormpy.sh`
REL: download updated binaries from GitHub in `get-stormpy.sh`

- MNT: binaries built on Ubuntu 20.04.2
- DOC: list `apt` packages used for
  building the binaries
- API: internal arrangement of tarballs changed:
  The directory tree that results from unpacking
  the tarball is now part of the directory tree
  that results from executing the build commands)
- API: where the tarballs are extracted to has changed
- paths `carl_DIR` and `storm_DIR` changed,
  following the changes to the tarballs,
  and to where the tarballs are extracted to.

tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control