remove examples from coverage

as discussed in the virtual coffee break

Nevertheless, it is still very useful to compile and run them regularly to keep them functioning.