GitLab

This reverts commit 7c81fc4f

.

Reinstate the dovetail/poll.h wrapper files we had to drop from the
mere Dovetail code.
Signed-off-by: Philippe Gerum <rpm@xenomai.org>