Update and rename DESIGN.md to DESIGN.pdf