Update and rename proposal.txt to proposal.md