Kernel downloader and vulnerability verifier

[m-1-k-3]

• What kind of change does this PR introduce? (Bug fix, feature, docs update, ...)

Feature

• What is the current behavior? (You can also link to an open issue here)

Kernel vulnerabilities only identified with the identified version number
Also addressed issue #450

• What is the new behavior (if this is a feature change)? If possible add a screenshot.

Module s24 extracts the kernel config (https://raw.githubusercontent.com/torvalds/linux/master/scripts/extract-ikconfig) and the symbols (https://github.com/marin-m/vmlinux-to-elf) of the kernel.
Download helper module downloads the vanilla kernel sources
Module s26 tries to build the kernel based on the extracted config (see https://arxiv.org/pdf/2209.05217.pdf)
Additionally s26 identifies vulnerabilities based on symbols.

Closes #450

• Does this PR introduce a breaking change? (What changes might users need to make in their application due to this PR?)

Massive improvement of identified kernel vulnerabilities.