Lab and Downward Lab 7.5

[Jendrik Seipp]

Hi everyone,

I'm happy to announce a new version of Lab and Downward Lab (https://lab.readthedocs.io). Here are the most important changes:

Lab

• Provide support for HTCondor clusters in a third-party repository and add link to docs (Martín Pozo).
• Add documentation for AI Basel's infai_3 partition (Silvan Sievers).
• Don't rely on the existence of the 'runs-00001-00100' dir when fetching results (Jendrik Seipp).

To upgrade to the latest version, use "pip install --upgrade lab" (preferably in a virtual environment).

Cheers,
Jendrik