Change the name of the dmtimer pps device from /dev/ppsN to /dev/dmtppsN.

ntpd is hard-coded to use /dev/ppsN, and typically when multiple PPS sources
are available the sysadmin will symlink the right one(s) to /dev/ppsN, so
it's best to not usurp those names directly.