Improvement: Add a github test linking some dummy library against t8code

[spenke91]

To catch problems like public headers including internal ones in our CI. Ideally, the dummy library would automatically always include all public headers of t8code.