scripts/tags.sh: ignore code of user space tools