* Renamed qtesla portable folder, to better integrate avx2 files.
* Added avx2 support to qtesla
* Disabled KAT check for qtesla when avx2 is enabled.
* Commented the disabling of kat check for qtesla w/ avx2
* Fixed portable qtesla version and disabled avx2 on windows.
* Now reads use options from oqsconfig.h, accessible in CI tests.
* Skip config option check on windows.
* Moved cshake128x4 from qtesla dir to common sha3 dir.
* Added qtesla avx2 KATs, and use them when avx2 is enabled
* Prettyprint
* Fixed the qtesla avx2 condition check (needed a not xor)
