More sycl examples and bugfixes

[Ellen-Wittingen]

Added two full SYCL examples to the examples folder.

New features:

• Ported Lars' C implementation for declarations of literal arrays to C++.

Fixed the following bugs:

• Injectivity of linearization methods is now assumed (the proof is in my thesis report)
• Fixed data accessor type always being an integer instead of the given type by the user
• Fixed misinterpretation: kernels that read a buffer should not be waited on when the buffer is destroyed
• Restricted & to only be ignored for sycl::handler parameters instead of parameters of all types to minimize the amount of inaccurate behaviour

One thing to note is that the full example MatrixTransposeWithF.cpp fails to establish the preconditions of the second kernel about 1 out of 5 times (most likely due to VerCors heuristics not instantiating one of the quantified conditions). However, because it is in the examples folder there must be a test for it. But that means that that test fails 1 in 5 times as well.

This is my last pull request on the SYCL project

[pieter-bos]

Thanks for all your contributions, and congratulations on the degree :)