windows/view_sizes: copy c/view_sizes and add Windows-specific types
windows/Makefile: remove helloworld_noimport specific config
Makefile: remove bloatted recursive executions of make
verification: modernize Makefile
Linux flags: add debug and -fstack-protector-strong
linux/eventpoll_activetty: add program recording active TTY switch
linux/override_uname_ptrace: add a ptrace program
linux-flags: add clang-specific options
Fix minor issues detected thanks to clang -Weverything
Fix -Wsign-conversion clang warning
Fix -Wcast-align clang warning