A dataset and tools for verification of Tails - View it on GitHub