Remove dtbook-to-pef (is in a separate repo now)