ASTRAL. A Tool for the Automated Safety Testing of Large Language Models