Missing astra depedency breaks hotopy

Missing astra toolbox prevents to successfully load hotopy at all. I suggest to make the astra dependency optional to simplify installation and keep dependency to a minimum.