WhileyComparison. A repository of small programs to be implemented and verified by Whiley and various other verification and static analysis tools