hdstools: SUN/245 in new latex format
hdstrace: Convert SUN/102 to new latex

+ Now latex2e
+ The terminalv environments no longer require the artificial
  space padding at the start of each verbatim section.