add OSPFv3 encoding stuff and remove some IS-ISism