This is purely to finally unblock RIOT-OS/riotdocker#104, but may also
be useful to add future exclude patterns.
Exclude file was generated using
```sh
make doc 2> dist/tools/doccheck/exclude_patterns_base
grep "^${PWD}" dist/tools/doccheck/exclude_patterns_base | \
sed -E -e "s#^${PWD}/(.*:)([0-9]+): #\1DIGITS_MAGIC: #" \
-e 's/[]\\.$*{}|+?()[^-]/\\&/g' \
-e 's/:DIGITS_MAGIC:/:[0-9]+:/' \
> dist/tools/doccheck/exclude_patterns
rm dist/tools/doccheck/exclude_patterns_base
```