Rename doc/proposal.txt to proposal.txt