Adding extra headers to the teensy

Also tweaking board width
And adding detail to headers (for printing just sockets)