Use mint/syntax for packet header

[martinthomson]

I think that the packet header is almost normal enough now that the syntax module could work. There are some tricks we'd need to work through (packet number encryption, for instance), but it probably just means using a thin wrapper rather than use the code in codec.go.