Log Message: xentools413: merge some changes from xentools415. Install more docs, fix duplicated targets. Bump PKGREVISION.