Add pdf version of spec document