Update and rename DESIGN.txt to DESIGN.md