First release of Devicetree spec document

This is the first version of the specification document, released in May 2016. Tagging the release here so the binary .pdf can be added and the devicetree-specification-released repository can be removed from the github page.