WGet2

https://gitlab.com/gnuwget/wget2

```
./configure
bear make
./goblint -v .
```

Fails because of a `_Static_assert`:

```
_Static_assert (2 * sa_alignment_max - 1 <= (small_t) -1, "verify (" "2 * sa_alignment_max - 1 <= (small_t) -1" ")");
```